RUSSIAN

Лекции по математической логике и теории алгоритмов

By Каверин С.В.

Book information

Language
russian
Format
DJVU
Filesize
384 kB (392862 bytes)
Pages
\45
Topic
Mathematics Logic
Library
twirpx
Time added
2017-08-07 07:01:42
Математика;Математическая логика

Description

Тольятти, Волжский университет им. Татищева, 2002 г. - 45 стр.Содержание: Алгебра логики. Определение булевой функции. Элементарные булевы функции. Задание булевых функций посредством элементарных. Существенные и несущественные переменные. Таблицы истинности. Эквивалентные функции. Основные эквивалентности. Функциональная полнота. Булева алгебра. Нормальные формы. Совершенные нормальные формы. Минимизация ДНФ методом Квайна. Карты Карно. Алгебра Жегалкина. Высказывания. Предикаты. Высказывания. Предикаты. Логические операции над предикатами. Кванторы, их свойства. Формальные теории. Определение формальной теории. Исчисление высказываний. Теорема о дедукции. Полнота исчисления высказываний. Автоматическое доказательство теорем. Метод резолюций в исчислении высказываний. Элементы теории алгоритмов. Определение алгоритма. Машина Тьюринга. Рекурсивные функции. Алгоритмически неразрешимые задачи. Алгоритмы и их сложности.

Similar books