ISBN: 978-5-9710-2629-7
Внешнее покрытие издания: в обл.
Фамилия автора в заголовке: Гуц
Инициалы автора (личного имени (имен)): А. К.
Код отношений (роль соавтора в издании): 070 Автор
Основное заглавие: Математическая логика и теория алгоритмов
Сведения, относящиеся к заглавию: [учебное пособие]
Первые сведения об ответственности: А. К. Гуц
Сведения об издании: Изд. 3-е
Дополнительные сведения об издании: испр.
Место издания: Москва
Издатель: ЛЕНАНД
Дата издания: 2016
Объем издания (количество страниц): 117
Другие уточнения физических характеристик: ил.
Высота, см.: 22
Определитель УДК: (075.8)
Полная форма имени (имен) и отчества: Александр Константинович
Индекс УДК: 53:630.11
Статус записи (Тип информации): В наличии
Ширина, см: 14,5
Толщина, см: 0,7
Вес в граммах: 140
Индекс ББК: 22.12 22.18 32.81
Артикул: 2783637
Аннотация:

Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, логики Васильева и Лукасевича. Даются представления о частично рекурсивных функциях, машине Тьюринга---Поста, нормальных алгорифмах Маркова и о сложности алгоритмов. Для студентов, обучающихся по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети".

Читайте также: