| ГРНТИ | |
| УДК |
Рубрики:
Физико-математические науки--Математика--Основания математики. Математическая логика
Кл.слова (ненормированные):
Теория алгоритмов -- Классическая логика -- Метод резолюций -- Формальные исчисления -- Формальная арифметика -- Принципы логического программирования -- Нечеткая логика -- Нечеткая арифметика -- Модальная логика -- Временная логика -- Алгоритмическая логика -- Семантика Крипке -- Аксиомы алгоритмической логики Хоара -- Логика Хоара -- Логики Васильева -- Логики Лукасевича -- Рекурсивные функци -- Машина Тьюринга-Поста -- Нормальные алгорифмы Маркова -- Логика высказываний -- Алгебра Буля -- Логика предикатов -- Метод резолюций -- Формальные теории -- Исчисления -- Класс задач P -- Класс задач NP -- Алгоритмы реальности -- Генератор виртуальной реальности -- Среда Кантгоуту -- Тезис Колмогорова
Физико-математические науки--Математика--Основания математики. Математическая логика
Кл.слова (ненормированные):
Теория алгоритмов -- Классическая логика -- Метод резолюций -- Формальные исчисления -- Формальная арифметика -- Принципы логического программирования -- Нечеткая логика -- Нечеткая арифметика -- Модальная логика -- Временная логика -- Алгоритмическая логика -- Семантика Крипке -- Аксиомы алгоритмической логики Хоара -- Логика Хоара -- Логики Васильева -- Логики Лукасевича -- Рекурсивные функци -- Машина Тьюринга-Поста -- Нормальные алгорифмы Маркова -- Логика высказываний -- Алгебра Буля -- Логика предикатов -- Метод резолюций -- Формальные теории -- Исчисления -- Класс задач P -- Класс задач NP -- Алгоритмы реальности -- Генератор виртуальной реальности -- Среда Кантгоуту -- Тезис Колмогорова
Аннотация: Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, логики Васильева и Лукасевича. Даются представления о частично рекурсивных функциях, машине Тьюринга-Поста, нормальных алгорифмах Маркова и о сложности алгоритмов. Для студентов, обучающихся по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети".
Экземпляры всего: 1
ЦНБ-АБ (1)
Свободны: ЦНБ-АБ (1)