THE USE OF INFORMATION TECHNOLOGIES IN PHYSICAL SPECIALTIES STUDENTS’ SELF-INDEPENDENT WORK

Πηγή: Збірник наукових праць Уманського державного педагогічного університету; № 4 (2019); 63-73
Collection of Scientific Papers of Uman State Pedagogical University; № 4 (2019); 63-73

Θεματικοί όροι: Information technologies in teaching, modernization of the educational process, the activation of students' self-independent work, formation of practical skills, solving problems on Theoretical Physics, computer simulation of physical processes, mathematical program complex Mathcad, 4. Education, Інформаційні технології навчання, модернізація освітнього процесу, активізація самостійної роботи студентів, формування практичних навичок, розв'язування задач з теоретичної фізики, комп'ютерне моделювання фізичних процесів, математичний програмний комплекс MathCAD, символьні перетворення, Освіта, Education

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://znp.udpu.edu.ua/article/view/200154

Інваріантні функції опису навігаційних станів просторового руху судна ; Инвариантные функции описания навигационных состояний движения судна ; Invariant functions describing the navigation conditions of the vessel

Συγγραφείς: А.М. Носовський, А.Н. Носовский, A.M. Nosovskii

Πηγή: Збірник наукових праць Харківського національного університету Повітряних Сил. — 2013. — № 4(37). 70-74 ; Сборник научных трудов Харьковского национального университета Воздушных Сил. — 2013. — № 4(37). 70-74 ; Scientific Works of Kharkiv National Air Force University. — 2013. — № 4(37). 70-74 ; 2073-7378

Θεματικοί όροι: Зв’язок, радіотехніка, радіолокація, акустика та навігація, УДК 681.3:62.50:004:942, навігація, управління, динаміка руху, безпека, стани, події, символьні перетворення, навигация, управление, динамика движения, безопасность, состояния, события, символьные преобразования, navigation, control, dynamics of movement, safety, conditions, events, symbolic transformation

Περιγραφή αρχείου: application/pdf

Relation: http://www.hups.mil.gov.ua/periodic-app/article/3403/zhups_2013_4_16.pdf; http://www.hups.mil.gov.ua/periodic-app/article/3403

Διαθεσιμότητα: http://www.hups.mil.gov.ua/periodic-app/article/3403

Метод морфізмів реалізації алгебраїчних обчислень в математичних системах навчального призначення ; Метод морфизмов реализации алгебраических вычислений в математических системах учебного назначения ; Method of morphisms at realization of algebraic cомputations in mathematical systems of educational setting

Συγγραφείς: М.С. Львов, M.S. Lvov

Πηγή: Системи обробки інформації. — 2009. — № 6(80). 183-190 ; Системы обработки информации. — 2009. — № 6(80). 183-190 ; Information Processing Systems. — 2009. — № 6(80). 183-190 ; 1681-7710

Θεματικοί όροι: Математичні моделі та методи, УДК 004.415.28, математичні системи, символьні перетворення, багатосортні алгебраїчні системи, ізоморфізми та гомоморфізми, інтерпретатори алгебраїчних операцій, Математическая система, символьные преобразования, многосортная алгебраическая система, изоморфизм, гомоморфизм, интерпретаторы алгебраических операций, mathematical systems, symbolic transformations, multy-sorted algebraic systems, isomorphism and homomorphism, interpreters of algebraic operations

Περιγραφή αρχείου: application/pdf

Relation: http://www.hups.mil.gov.ua/periodic-app/article/6692/soi_2009_6_44.pdf; http://www.hups.mil.gov.ua/periodic-app/article/6692

Διαθεσιμότητα: http://www.hups.mil.gov.ua/periodic-app/article/6692

Верифікація інтерпретаторів алгебраїчних операцій в розширеннях багатосортних алгебр ; Верификация интерпретаторов алгебраических операций в расширениях многосортных алгебр ; Verification of interpreters of algebraic operations in expansions of multi-sorted algebras

Συγγραφείς: М.С. Львов, M.S. Lvov

Πηγή: Збірник наукових праць Харківського національного університету Повітряних Сил. — 2009. — № 3(21). 127-137 ; Сборник научных трудов Харьковского национального университета Воздушных Сил. — 2009. — № 3(21). 127-137 ; Scientific Works of Kharkiv National Air Force University. — 2009. — № 3(21). 127-137 ; 2073-7378

Θεματικοί όροι: Кібернетика та системний аналіз, УДК 004.415.28, математичні системи, символьні перетворення, багатосортні алгебраїчні системи, розширення алгебраїчних систем, верифікація, інтерпретатори алгебраїчних операцій, математическая система, символьные преобразования, многосортные алгебраические системы, расширения алгебраических систем, верификация, интерпретаторы алгебраических операций, mathematical systems, symbolic transformations, multi-sorted algebraic systems, expansions of algebraic systems, verification, interpreters of algebraic operations

Περιγραφή αρχείου: application/pdf

Relation: http://www.hups.mil.gov.ua/periodic-app/article/3984/zhups_2009_3_31.pdf; http://www.hups.mil.gov.ua/periodic-app/article/3984

Διαθεσιμότητα: http://www.hups.mil.gov.ua/periodic-app/article/3984

Комп'ютерно-орієнтована методична система навчання обчислювальної математики в педагогічному університеті ; Компьютерно–ориентированная методическая система обучения вычислительной математике в педагогическом университете ; Computer-oriented methodical system in teaching of calculating mathematics at the pedagogical university

Συγγραφείς: Лотюк, Юрій Георгійович

Θεματικοί όροι: комп’ютерно-орієнтована методична система навчання, обчислювальна математика, чисельні методи, математичні пакети, символьні перетворення, контроль знань з математики, компьютерно–ориентированная методическая система обучения, вычислительная математика, численные методы, математические пакеты, символьные преобразования, контроль знаний по математике, computer-oriented methodical system of teaching, calculating mathematics, numerical methods, mathematical packages, character transformations, monitoring of knowledges in mathematics

Περιγραφή αρχείου: application/pdf

Relation: http://enpuir.npu.edu.ua/handle/123456789/36399

Διαθεσιμότητα: http://enpuir.npu.edu.ua/handle/123456789/36399

Метод морфізмів реалізації алгебраїчних обчислень в математичних системах навчального призначення

Additional Titles: Метод морфизмов реализации алгебраических вычислений в математических системах учебного назначения
Method of morphisms at realization of algebraic cомputations in mathematical systems of educational setting

Συγγραφείς: М.С. Львов, M.S. Lvov

Πηγή: Системи обробки інформації. — 2009. — № 6(80). 183-190; Системы обработки информации. — 2009. — № 6(80). 183-190; Information Processing Systems. — 2009. — № 6(80). 183-190; 1681-7710

Όροι ευρετηρίου: Математичні моделі та методи, УДК 004.415.28, математичні системи, символьні перетворення, багатосортні алгебраїчні системи, ізоморфізми та гомоморфізми, інтерпретатори алгебраїчних операцій, Математическая система, символьные преобразования, многосортная алгебраическая система, изоморфизм, гомоморфизм, интерпретаторы алгебраических операций, mathematical systems, symbolic transformations, multy-sorted algebraic systems, isomorphism and homomorphism, interpreters of algebraic operations, info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion, Рецензована стаття

Σύνδεσμος: http://www.hups.mil.gov.ua/periodic-app/article/6692
http://www.hups.mil.gov.ua/periodic-app/article/6692/soi_2009_6_44.pdf
http://www.hups.mil.gov.ua/periodic-app/article/6692/soi_2009_6_44.pdf

Верифікація інтерпретаторів алгебраїчних операцій в розширеннях багатосортних алгебр

Additional Titles: Верификация интерпретаторов алгебраических операций в расширениях многосортных алгебр
Verification of interpreters of algebraic operations in expansions of multi-sorted algebras

Συγγραφείς: М.С. Львов, M.S. Lvov

Πηγή: Збірник наукових праць Харківського національного університету Повітряних Сил. — 2009. — № 3(21). 127-137; Сборник научных трудов Харьковского национального университета Воздушных Сил. — 2009. — № 3(21). 127-137; Scientific Works of Kharkiv National Air Force University. — 2009. — № 3(21). 127-137; 2073-7378

Όροι ευρετηρίου: Кібернетика та системний аналіз, УДК 004.415.28, математичні системи, символьні перетворення, багатосортні алгебраїчні системи, розширення алгебраїчних систем, верифікація, інтерпретатори алгебраїчних операцій, математическая система, символьные преобразования, многосортные алгебраические системы, расширения алгебраических систем, верификация, интерпретаторы алгебраических операций, mathematical systems, symbolic transformations, multi-sorted algebraic systems, expansions of algebraic systems, verification, interpreters of algebraic operations, info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion, Рецензована стаття

Σύνδεσμος: http://www.hups.mil.gov.ua/periodic-app/article/3984
http://www.hups.mil.gov.ua/periodic-app/article/3984/zhups_2009_3_31.pdf
http://www.hups.mil.gov.ua/periodic-app/article/3984/zhups_2009_3_31.pdf