Математическая логика и теория алгоритмов для программистов
Тип носителя:
Однотомник.
Место издания:
Москва
Издательство:
КноРус
Год издания:
2010
Объем:
206 с.
Аннотация:
Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Для студентов вузов, обучающихся по специальностям 230 105 «Программное обеспечение вычислительной техники и автоматизированных систем», 10 503 «Математическое обеспечение и администрирование информационных систем» и специальностям направления «Информатика и вычислительная техника» дневной и заочной форм обучения.
Федеральное государственное бюджетное учреждение культуры «Российская государственная библиотека для молодёжи»
Главное здание
107061 Москва, ул. Б. Черкизовская, дом 4, корпус 1 Метро «Преображенская площадь» (выход №5) Телефон для справок: +7 499 670-80-01 E-mail: info@rgub.ru
Филиал библиотеки — МИКК «Особняк В.Д. Носова»
107023 Москва, ул. Электрозаводская, 12, стр. 1 Метро «Электрозаводская» Телефоны для справок: +7 499 670-80-01 (доб. 600) E-mail: mansion@rgub.ru
![Лихтарников Л. М., Математическая логика. Курс лекций. Задачник-практикум и решения. [Учеб. пособие для вузов] — 1998](/searchcat/covers/RGUB-BIBL-0000181170.jpg "Лихтарников Л. М., Математическая логика. Курс лекций. Задачник-практикум и решения. [Учеб. пособие для вузов] — 1998»")
