РЕШАЕМ МАТЕМАТИКУ ВМЕСТЕ!
 
СТУДЕНТАМ:    Учебники     Решебники    Шпаргалки    Контрольные работы   Видео уроки

ШКОЛЬНИКАМ:  ГДЗ - 1 класс  2 класс  3 класс  4 класс  5 класс  6 класс  7 класс  8 класс  9 класс  10 класс  11 класс

Главная » Файлы » Учебные материалы » Математическая логика и теория алгоритмов
Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов / В. И. Игошин. — 3-е изд., стер.

13.12.2011, 17:00

Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения.
Сборник состоит из четырнадцати параграфов в 5 главах: I. Алгебра высказываний; II. Булевы функции; III. Формализованное исчисление высказываний; IV. Логика предикатов; V. Элементы теории алгоритмов. Каждый параграф предваряется теоретическими сведениями. Особенно ценным является то, что автор в каждой серии однотипных задач (под буквами, скажем, а)- л)) приводит подробное решение одной или нескольких из них в качестве образца. То есть пособие одновременно может рассматриваться как некое руководство по решению задач.
Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям «Математика», «Прикладная математика».

Оглавление

Предисловие 3

Глава 1. Алгебра высказываний 6

§ 1. Основные понятия алгебры высказываний 6

§ 2. Нормальные формы для формул алгебры 40

§ 3, Приложение алгебры высказываний к логико-математической практике 68

Глава 2. Булевы функции 92

§ 4. Понятие булевой и свойства булевых функций 92

§ 5. Специальные классы булевых функций 101

§ 6. Полные системы и функционально замкнутые классы булевых функций 123

§ 7. Применение булевых функций к релейно-контактным схемам 130

Глава 3. Формализованное исчисление высказываний 143

§ 8. Построение формализованного исчисления высказываний и исследование системы аксиом на независимость 143

Глава 4. Логика предикатов 162

§ 9. Основные понятия логики предикатов 162

§ 10. Применение логики предикатов к логико-математической практике 204

§ 11. Формализованное исчисление предикатов 213

Глава 5. Элементы теории алгоритмов 221

§ 12. Машина Тьюринга 221

§ 13. Рекурсивные функции 240

§ 14. Нормальные алгоритмы Маркова 248

Ответы 257

Список литературы 301





Размер файла: (4.37Mb)

Категория: Математическая логика и теория алгоритмов | Добавил: nikka
Просмотров: 12394 | Загрузок: 4304 | Рейтинг: 4.3/3


Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]



ВЫБОР ПО КАТЕГОРИЯМ:

Аналитическая геометрия и алгебра [0]
Высшая алгебра [52]
История математики [55]
Математика для технарей [21]
Математика для экономистов, юристов и т.д.. [5]
Математическая логика и теория алгоритмов [40]
Теория вероятностей и мат. статистика [28]
Теория чисел [33]
Учебники по математике [46]



При полном или частичном использовании материалов
активная ссылка на портал VMATE.RU обязательна


Высшая математика онлайн - всё бесплатно, наш портал создан специально для студентов кому интересна высшая математика. У нас на портале возможно скачать бесплатно учебники по высшей математике, книги по математике или сделать заказ учебных пособий, скачать контрольные по высшей математике, заказать, задачники по высшей математики и решебники. Оставить запрос по предмету - аналитическая геометрия или задать вопрос - справочная по математике Заказать решение и т.д. Высшая математика онлайн - математический портал и здесь собраны шпаргалки по высшей математике и видео уроки. Добро пожаловать! Вход