Математическая логика. Зыков А.Г

UptoLike

Математическая логика. Зыков А.Г

РЕШЕНИЕ (файл) вывод, красное-белое: 

Формат файла: 

PDF

Ключевые слова: 

  • учебник
  • учебное пособие

Год: 

  • 2013

Количество страниц: 

131
В пособии описывается история возникновения логики как науки. Рассматриваются основные положения логики высказываний и логики предикатов. Обосновываются принципы логического вывода, применяемые в логике предикатов и ее приложениях к искусственному интеллекту и базам знаний. Приводятся примеры применения многозначной логики в моделировании логических схем. Рассматриваются методы решения задач в логике высказываний и логике предикатов. В приложении приводится именной указатель ученых, внесших значительный вклад в развитии логики как науки.Пособие предназначено для студентов, обучающихся по направлениям 230100 "Информатика и вычислительная техника" и 231000 "Программная инженерия".

Рекомендуемые учебно-методические материалы

Мазуренко Ю.Т., Чивилихин С.А., Трифанов А.И., Орлов В.В., Егоров В.И.
Мазуренко Ю.Т., Чивилихин С.А., Трифанов А.И., Орлов В.В., Егоров В.И. Квантовая информатика. Лабораторный практикум: Учебное пособие. - СПб.: СПбГУ ИТМО, 2009. - 58 с.
Ожиганов А.А.
Ожиганов А.А. Основы криптоанализа симметричных шифров: Учебное пособие. - СПб: СПбГУ ИТМО, 2008. - 44 с.
Левина А.Б.
Левина А.Б. Моделирование криптосистем: Учебное пособие. - СПб.: НИУ ИТМО, 2013. - 82 с.
Зыков А.Г., Поляков В.И., Скорубский В.И.
Зыков А.Г., Поляков В.И., Скорубский В.И. Математическая логика: Учебное пособие по дисциплине "Математическая логика и теория алгоритмов". - СПб.: НИУ ИТМО, 2013. - 131 с.
Поляков В.И., Скорубский В.И.
Поляков В.И., Скорубский В.И. Основы теории алгоритмов. Учебное пособие по дисциплине "Математическая логика и теория алгоритмов". - СПб.: НИУ ИТМО, 2012. - 51 с.
Косяков М.С.
Косяков М.С. Введение в распределенные вычисления: Учебное пособие. - Санкт-Петербург: НИУ ИТМО, 2014. - 155 с.