|
|
libcats.org
Математическая логика и теория алгоритмов: Учебное пособие. - 2-е изд.Анкудинов Г.И., Анкудинов И.Г., Петухов О.А.Учебное пособие соответствует государственному образовательному стандарту дисциплины ''Математическая логика и теория алгоритмов'' направления подготовки дипломированных специалистов 654600 - ''Информатика и вычислительная техника'' (Специальность 220100 -''Вычислительные машины, комплексы, системы и сети'') и направления подготовки бакалавров 552800 - ''Информатика и вычислительная техника''.В пособии излагаются разделы математической логики и теории алгоритмов, необходимые для освоения общепрофессиональных и специальных дисциплин специальности 220100. Достаточно подробно изложены основы логики высказываний и логики предикатов, включая приложение логики предикатов к доказательству правильности алгоритмов. Пособие содержит вводный материал по логическому программированию и клаузальной логике, а также основные понятия нечеткой и модальной логики. Приведены основы теории алгоритмов и алгоритмической разрешимости, доказательство эквивалентности моделей алгоритмов Тьюринга и рекурсивных схем Клини. Пособие содержит также введение в теорию эффективной вычислимости, переборных NP-полных и NP-трудных задач
Скачать книгу бесплатно (pdf, 1.05 Mb)
Читать «Математическая логика и теория алгоритмов: Учебное пособие. - 2-е изд.» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Handbook of Antennas in Wireless CommunicationsАвтор: Lester Packer, Автор: Enrique Cadenas
Размер книги: 37.19 Mb
Только что пользователи скачали эти книги:
Информационно-технические основы создания системы управления крупными рисками в страховой компанииАвтор: Лузин В.П.Категория: Экономика экономические науки
Размер книги: 1.36 Mb
Наземные американские и английские радиолокационные станции. Краткие технические описания.Автор: редактор М. А. БойковКатегория: военное дело, военная наука
Размер книги: 9.19 Mb
Сборник Нормативов Правила технической эксплуатации электроустановок потребителей (N 1.21-98, укр+рус 1997-2004 г.edАвтор:Категория: Наука
Размер книги: 2.03 Mb
Технические условия погрузки и крепления грузов. Официальное изданиеАвтор: Пономарева А.Н.
Размер книги: 32.40 Mb
Руководство по техническому обслуживанию холодильных установок и установок для кондиционирования воздухаАвтор: Бриганти АнтониоКатегория: технические науки, Прочее
Размер книги: 7.22 Mb
Практикум абитуриента: Электричество и магнетизмАвтор: Можаев В.В. (ред.), Автор: Черноуцан А.И. (ред.)Категория: Школьный уровень
Размер книги: 4.20 Mb
|
|
|