Балюкевич Э., Ковалева Л.Я., Математическая логика и теория алгоритмов
Евразийский открытый институт, 2009 г., 189 стр., 9785374002201
Описание книги
Данное пособие рассчитано на читателя, впервые знакомящегося с математической логикой – формальным математическим аппаратом, изучающим различные способы логических рассуждений, а также с теорией алгоритмов.
Поделиться ссылкой на книгу
Содержание книги
Тема 1. Алгебра высказываний......51.1. Логические операции......51.2. Формулы алгебры высказываний. Равносильность......101.3. Варианты импликации......171.4. Функции алгебры высказываний......181.5. Полные системы связок......23Тренировочные задания......24Тесты......25Тема 2. Проверка правильности рассуждений. Нормальные формы формул алгебры высказываний......282.1. Логические отношения......282.2. Проверка правильности рассуждений......322.3. Нормальные формы формул алгебры высказываний......342.4. Совершенные нормальные формы......39Тренировочные задания......43Тесты......43Тема 3. Алгебра высказываний и релейно-контактные схемы. Исчисление высказываний. Алгебра предикатов......463.1. Построение формулы алгебры высказываний по заданной логической функции......463.2. Моделирование алгебры высказываний с помощью релейно-контактных схем......483.3. Исчисление высказываний......513.4. Алгебра предикатов......59Тренировочные задания......64Тесты......65Тема 4. Теория алгоритмов......674.1. Интуитивное понятие алгоритма и проблема его уточнения......674.2. Элементы теории рекурсивных функций......714.3. Машины Тьюринга......80Вопросы для самопроверки......91Решение тренировочных заданий......97Глоссарий......104Литература......108Руководство по изучению дисциплины......109Сборник задач по дисциплине......121
Об авторе
Последние поступления в рубрике "Электронные книги, аудиокниги"
 |
Tod eines Soldaten Klinkhammer ". |
 |
Seltene Hunderassen aus aller Welt Frey F. |
 |
Vulpes Lupus Canis Gajaze K. |
Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Балюкевич Э., Ковалева Л.Я., Математическая логика и теория алгоритмов в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.
