Математическая логика и теория алгоритмов
Жанры:
Читать онлайн:
Вам понравится:
Описание:
Книга автора Е. В. Зайцева. Относится к жанрам: алгоритмы, математическая логика. Объем: 255 стр.. Дата написания: 2006. Возрастное ограничение: 0+.
Вы можете в один клик скачать книгу ‘Математическая логика и теория алгоритмов’ в форматах fb2, ePub, txt без регистрации. Или же, выбирая подходящий Вам вариант, читать онлайн ‘Математическая логика и теория алгоритмов’ на нашем сайте. Здесь Вы легко сможете выбрать нужную книгу в соответствии со своими предпочтениями.
Если Вы ещё не определились с выбором, то посмотрите разделы «Рейтингов» и «Обзоров книг» нашего сайта, там сможете подобрать книгу или серию книг, которые Вам обязательно понравятся.
Аннотация:
Изложен материал основного курса «Математическая логика и теория алгоритмов», читаемого на факультете «Автоматизации и информатики (АИ)» МГГУ: основные понятия, относящиеся к семантике формализованных логико-математических языков; математическая логика, исчисление высказываний и предикатов, элементы теории множеств, основы теории моделей и алгоритмов. Показано практическое использование алгебры к задачам математической логики.
Для студентов вузов, обучающихся по направлениям 552800, 654600 «Информатика и вычислительная техника», специальности 220200 «Автоматизированные системы обработки информации и управления».
Реклама. ООО ЛИТРЕС, ИНН 7719571260, erid: 2VfnxyNkZrY

