Робоча програма навчальної дисципліни “Математична логіка та теорія алгоритмів” для студентів спеціальності 126 ”Інформаційні системи та технології”. WORK PROGRAM EDUCATIONAL DISCIPLINE "Mathematical Logic and Theory of Algorithms" Specialty 126 "Information Systems and Technologies"

Завантажень

Завантажень за місяць протягом останнього року

04-05-12 Карпович, І. М. (2018) Робоча програма навчальної дисципліни “Математична логіка та теорія алгоритмів” для студентів спеціальності 126 ”Інформаційні системи та технології”. WORK PROGRAM EDUCATIONAL DISCIPLINE "Mathematical Logic and Theory of Algorithms" Specialty 126 "Information Systems and Technologies". [Робочі програми]

[img]
Перегляд
Text
04-05-12.pdf

Download(645kB) | Перегляд

Анотація

Програма навчальної дисципліни "Математична логіка та теорія алгоритмів" передбачає вивчення базових понять математичної логіки і теорії алгоритмів, розгляд семантичних моделей логіки та логічних систем, формальних моделей алгоритмів та алгоритмічно обчислюваних функцій. Викладання навчальної дисципліни «Математична логіка та теорія алгоритмів» забезпечить такі результати навчання: застосовувати теоретичні, методичні і практичні підходи для створення сучасних програмних та інформаційних систем; розробляти нові математичні методи, ефективні алгоритми і методи реалізації функцій інформаційних систем і технологій у прикладних галузях. The program of the discipline "Mathematical Logic and Theory of Algorithms" provides for the study of basic concepts of mathematical logic and algorithm theory, the consideration of semantic models of logic, logical systems, formal algorithms and algorithmically calculated functions. Teaching of the discipline "Mathematical Logic and Theory of Algorithms" will provide the following learning outcomes: apply theoretical, methodological and practical approaches for creating modern software and information systems; to develop new mathematical methods, effective algorithms and methods of realization of functions of information systems and technologies in applied branches.

Тип елементу : Робочі програми
Ключові слова: 04-05-12, математична логіка, алгебра висловлювань, логіка предикатів, функції алгебри логіки, алгоритм, теорія алгоритмів, аналіз алгоритмів, рекурсія, mathematical logic, algebra of statements, predicate logic, functions of algebra of logic, algorithm, algorithm theory, algorithms analysis, recursion
Шифр: 04-05-12
Тематики: Шифр галузі знань > 12 Інформаційні технології
Шифр галузі знань > 12 Інформаційні технології > 126 Інфомаційні системи і технології
Підрозділи: Навчально-науковий інститут автоматики, кібернетики та обчислювальної техніки > Комп’ютерних наук
Користувач, що депонує: В. Є. Перелигіна
Дата внесення: 07 Лют 2018 07:01
Останні зміни: 07 Лют 2018 07:01
URI: http://ep3.nuwm.edu.ua/id/eprint/8357
Перегляд елементу Перегляд елементу

Завантажень

Завантажень за місяць протягом останнього року