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

UptoLike

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

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

ВУЗ: 

Университет ИТМО | Санкт-Петербург

Дисциплина: 

Университет ИТМО | Санкт-Петербург - МиАОП

Составители: 

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

PDF

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

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

Год: 

  • 2013

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

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

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

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