Математическая логика и теория алгоритмов
Скачать файл:
Полный текст на другом сайтеURI (для ссылок/цитирований):
Автор:
Богульская, Нина Александровна
Вепринцев, Дмитрий Владимирович
Коллективный автор:
Сибирский федеральный университет
Дата:
2011Учебное пособие.
Доступ к полному тексту открыт из сети СФУ, вне сети доступ возможен для читателей Научной библиотеки СФУ или за плату.
Аннотация:
Изложены классические исчисления математической логики: исчисление высказываний и исчисление предикатов, а также основные понятия теории алгоритмов; особое внимание уделяется вопросам теории и приложений булевых функций. Приведены многочисленные примеры.
Права на использование:
Для личного использования.
Коллекции:
Метаданные:
Показать полную информациюСвязанные материалы
Показаны похожие ресурсы по названию, автору или тематике.
-
Математическая логика и теория алгоритмов
Богульская, Нина АлександровнаЭлектронное учебно-методическое обеспечение представляет собой комплект учебных и измерительных материалов, методических рекомендаций, позволяющее обеспечить реализацию дисциплины Математическая логика и теория алгоритмов. ... -
Математическая логика и теория алгоритмов
Богульская, Нина АлександровнаЭлектронное учебно-методическое обеспечение представляет собой комплект учебных и измерительных материалов, методических рекомендаций, позволяющее обеспечить реализацию дисциплины Математическая логика и теория алгоритмов. ... -
Математическая логика и теория алгоритмов
Вайнштейн, Юлия ВладимировнаЭлектронное учебно-методическое обеспечение представляет собой комплект учебных и измерительных материалов, методических рекомендаций, позволяющее обеспечить реализацию дисциплины Математическая логика и теория алгоритмов. ... -
Математическая логика и теория алгоритмов
Михальченко, Галина ЕфимовнаЭлектронное учебно-методическое обеспечение представляет собой комплект учебных и измерительных материалов, методических рекомендаций, позволяющее обеспечить реализацию дисциплины Математическая логика и теория алгоритмов. ... -
Математическая логика и теория алгоритмов
Вайнштейн, Юлия Владимировна; Есин, Роман Витальевич; Кошелева, Анна Владимировна; Кытманов, Алексей АлександровичЭлектронное учебно-методическое обеспечение представляет собой комплект учебных и измерительных материалов, методических рекомендаций, позволяющее обеспечить реализацию дисциплины Математическая логика и теория алгоритмов. ...