Математическая логика и теория алгоритмов, Вайнштейн Ю.В., Пенькова Т.Г., Вайнштейн В.И., 2019

По кнопкам "Купить бумажную книгу" или "Купить электронную книгу" можно купить в официальных магазинах эту книгу, если она имеется в продаже, или похожую книгу. Результаты поиска формируются при помощи поисковых систем Яндекс и Google на основании названия и авторов книги.

Наш сайт не занимается продажей книг, этим занимаются вышеуказанные магазины. Мы лишь даем пользователям возможность найти эту или похожие книги в этих магазинах.

Список книг, которые предлагают магазины, можно увидеть перейдя на одну из страниц покупки, для этого надо нажать на одну из этих кнопок.

Ссылки на файлы заблокированы по запросу правообладателей.

Links to files are blocked at the request of copyright holders.

По кнопке выше «Купить бумажную книгу» можно купить эту книгу с доставкой по всей России и похожие книги по самой лучшей цене в бумажном виде на сайтах официальных интернет магазинов Лабиринт, Озон, Буквоед, Читай-город, Литрес, My-shop, Book24, Books.ru.

По кнопке «Купить и скачать электронную книгу» можно купить эту книгу в электронном виде в официальном интернет магазине «Литрес», если она у них есть в наличии, и потом ее скачать на их сайте.

По кнопке «Найти похожие материалы на других сайтах» можно искать похожие материалы на других сайтах.

On the buttons above you can buy the book in official online stores Labirint, Ozon and others. Also you can search related and similar materials on other sites.


Математическая логика и теория алгоритмов, Вайнштейн Ю.В., Пенькова Т.Г., Вайнштейн В.И., 2019.

   Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказывании, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности.
Предназначено для студентов направления подготовки 09.03.04 «Программная инженерия». Также будет полезно студентам направлений 09.03.02 «Информационные системы и технологии», 27.03.03 «Системный анализ и управление».

Математическая логика и теория алгоритмов, Вайнштейн Ю.В., Пенькова Т.Г., Вайнштейн В.И., 2019


Введение в алгебру логики.
Рассмотрим двухэлементное множество В и двоичные переменные, принимающие значения из В. Его элементы часто обозначают 0 и 1, однако они не являются числами в обычном смысле. Наиболее распространенная интерпретация двоичных переменных: «да» -«нет», «истинно» (И) - «ложно» (Л). Поэтому будем считать, что В = {0, 1}, рассматривая 0 и 1 как некоторые формальные символы.
Алгебра, образованная двухэлементным множеством В = {0, 1} вместе со всеми возможными операциями на нем, называется алгеброй логики.

Функцией алгебры логики (логической функцией) от n-переменных называется n-арная операция на множестве {0, 1}. Логическая функция f(x1, х2, х3, ..., хn) - это функция, принимающая значения 0, 1. Множество всех логических функций обозначается Р2, множество всех логических функций n переменных - Р2 (n).

Исходным понятием математической логики является «высказывание». Высказыванием называется повествовательное предложение, о котором можно сказать в данный момент, что оно истинно или ложно, но не то и другое одновременно. Логическим значением высказывания являются «истина» или «ложь».

ОГЛАВЛЕНИЕ.
Введение.
1. Алгебра логики.
1.1. Введение в алгебру логики.
1.2. Формулы алгебры логики.
1.3. Законы алгебры логики.
1.4. Стандартные формы представления формул алгебры логики.
1.5. Функционально полные системы элементарных булевых функций.
Практические задания.
2. Формальные теории.
2.1. Исчисление высказываний как формальная теория.
2.2. Исчисление предикатов как формальная теория.
2.3. Автоматическое доказательство теорем. Принцип резолюций.
Практические задания.
3. Теория алгоритмов.
3.1. Основные понятия теории алгоритмов.
3.2. Машина Тьюринга.
3.3. Вычислимые по Тьюрингу функции.
Практические задания.
Заключение.
Библиографический список.

Купить .
Дата публикации:






Теги: :: :: :: ::


Следующие учебники и книги:
Предыдущие статьи:


 


 

Книги, учебники, обучение по разделам




Не нашёл? Найди:





2025-04-28 19:37:12