Описание: Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов.
Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета.
Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики.
Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, логики Васильева и Лукасевича.
Даются представления о частично рекурсивных функциях, машине Тьюринга-Поста, нормальных алгорифмах Маркова и о сложности алгоритмов.
Примечания:
- Виды лицензий: Freeware - бесплатные программы, Shareware - условно-бесплатные,
подробнее...
- Описания софта иногда включают компьютерный сленг: Ака, девайс, фривар, хинт,
фича, наладонник, релиз, движок, GUI, ЖЖ, IMHO, IIRC, FAQ ...
скачать словарь.
- Рекомендуем: игры шахматы бесплатно играть.
- После загрузки, испытания и тестирования софта можете обсудить его функциональные особенности на
Форуме.
- Сообщения можно оставлять и на Доске объявлений.