Зарегистрироваться
Восстановить пароль
FAQ по входу

Эвнин А.Ю. Математическая логика. Конспект лекций и задачи

  • Файл формата pdf
  • размером 555,08 КБ
  • Добавлен пользователем , дата добавления неизвестна
  • Описание отредактировано
Эвнин А.Ю. Математическая логика. Конспект лекций и задачи
Учебное пособие для заочного отделения. — Челябинск: Южно-Уральский государственный университет (ЮУрГУ), 2002. — 64 с. — ISBN 5-696-00974-3.
Учебное пособие соответствует курсу математической логики для студентов специальностей "Прикладная математика", "Прикладная математика и информатика" и "Программное обеспечение вычислительной техники и автоматизированных систем", содержит теоретический материал и задачи по темам: алгебра высказываний, логические исчисления. Все изложено доступным языком, снабжено примерами.
Предварительные сведения.
Высказывания.
Предикаты.
Кванторы.
Построение отрицаний.
Задачи.
Высказывания и предикаты.
Метод математической индукции.
Алгебра высказываний.
Логические операции.
Формулы и функции.
Список основных равносильностей.
Полные системы связок.
Двойственность.
Нормальные формы.
Контактные схемы.
Минимизация ДНФ.
Геометрическая интерпретация ДНФ.
Булева алгебра.
Задачи по алгебре высказываний.
Формулы и их преобразования. Двойственность.
Полные системы связок.
Теорема Поста.
Нормальные формы.
Контактные схемы.
Булева алгебра.
  • Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
  • Регистрация

Смотри также

Подробнее

Валицкас А.И. Конспект лекций по математической логике

  • pdf
Учебно-методическое пособие для студентов физико-математических факультетов педвузов. Тобольск, 2010. – 186 c. Рекомендовано УМО по математике педвузов Волго-Вятского региона в качестве учебного пособия для студентов физико-математических специальностей высших учебных заведений. Учебно-методическое пособие представляет конспект курса лекций по математической логике, читаемого...
  • 1,69 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов

  • djvu
М.: Академия, 2007. — 304 с. — ISBN 5-7695-3728-0. Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения. Сборник состоит из четырнадцати параграфов в 5 главах:...
  • 4,29 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Колмогоров А.Н., Драгалин А.Г. Математическая логика (Введение в математическую логику + Математическая логика. Дополнительные главы)

  • djvu
М.: КомКнига, 2006. — 240 с. — (Классический университетский учебник). В настоящее издание включены учебники А.Н. Колмогорова и А.Г. Драгалина «Введение в математическую логику» и «Математическая логика. Дополнительные главы», содержащие классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики....
  • 3,34 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Лоскутова Е.С., Нахман А.Д. Математическая логика. Типовые расчёты

  • pdf
Методические указания. — Тамбов: Тамбовский государственный технический университет (ТГТУ), 2008. — 20 с. Краткая теория. Примеры выполнения типовых расчётов (12 задач с решением). Варианты заданий. Основные понятия и утверждения математической логики (алгебры высказываний), руководство к решению типовых задач и образцы решений. Для студентов инженерно-технических...
  • 342,57 КБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Пономарев В.Ф. Основы теории множеств. Решение задач

  • pdf
Учебное пособие. — Калининград: Калининградский государственный технический университет (КГТУ), 2007. — 95 с. Основные понятия теории четких и нечётких конечных множеств, основы алгебры множеств и правил эквивалентных преобразований формул. Показано, что множество формул с заданными над ними операциями и отношениями формируют алгебраическую систему. Для закрепления знаний в...
  • 1023,51 КБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Шапорев С.Д. Математическая логика. Курс лекций и практических занятий

  • djvu
СПб.: БХВ-Петербург, 2005. — 416 с. — ISBN 5-94157-702-8. В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается введение в теорию алгоритмов и вычислимых...
  • 2,36 МБ
  • дата добавления неизвестна
  • описание отредактировано
Наверх