510.6Теория алгоритмов и вычисляемые функции. Математическая логика
← назад

Свободный доступ

Ограниченный доступ
Автор: Блатов И. А.
Изд-во ПГУТИ
Учебное пособие затрагивает такие разделы математической логики и теории алгоритмов как: алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов, элементы теории алгоритмов. Каждый раздел заканчивается контрольными вопросами, которые помогут проверить теоретическое освоение курса, содержит большое количество задач для самостоятельного решения и ответы для проверки.
Предпросмотр: Математическая логика и теория алгоритмов учебное пособие.pdf (0,8 Мб)
Автор: Раушенбах
Проблема анализа произведений искусства математическими методами.
Автор: Зайцева О. Н.
КНИТУ
В представленном пособии в доступной форме рассказывается о фундаментальных понятиях дискретной математики – логике, булевых
функциях, множествах, отношениях и графах. Теория изложена кратко, но
иллюстрирована многочисленными простыми для понимания примерами.
Изложение курса дискретной математики представлено в форме
решения математических задач различной сложности, связанных с
программированием. Предложены алгоритмы решения этих задач,
написанные на «псевдокоде». Пособие может быть использовано при изучении дисциплин «Дискретная математика», «Информатика», «Линейная алгебра и
дискретная математика», «Логика» студентами института легкой
промышленности моды и дизайна (направление подготовки «Информационные системы и технологии»), инженерного химико-технологического института (направление подготовки «Информационная безопасность»), института управления, автоматизации и информационных технологий (направление подготовки «Информатика и вычислительная техника»).
Предпросмотр: Математические методы в приложениях. Дискретная математика.pdf (1,0 Мб)
Автор: Ткаченко С. В.
ЛГТУ
Пособие является одной из частей системы учебных пособий по дискретной математике. Рассматриваются основные разделы дисциплины «Теория графов и математическая логика», в частности математическая логика.
Предпросмотр: Математическая логика.pdf (0,5 Мб)
Автор: Бояринцева Т. Е.
Изд-во МГТУ им. Н.Э. Баумана: М.
Приведены основные понятия и факты, относящиеся к языку высказываний, языку предикатов, теории aлгоритмов, теории нечетких миожеств и нечеткой логике. Наряду с традиционными разделами математической логики изложен метод резолюций, полезный для приложений. Рассмотрены типовые задачи.
Предпросмотр: Математическая логика и теория алгоритмов.pdf (0,1 Мб)
Автор: Лобанов
ПРОМЕДИА: М.
Некорректность модусов Аристотеля.