Math.ru Библиотека

Алгебра логики в задачах.

Семен Григорьевич Гиндикин

М.: Наука, 1972. 288 с.
Тираж 50000 экз.
Загрузить (Mb)
djvu (3.22) pdf (-) ps (-) html (-) tex (-)

Книга рассчитана на читателя, заинтересованного в содержательных, с точки зрения математики, теоремах и задачах. Здесь раасмотрены, главным образом, три круга вопросов: проблемы полноты и функционально замкнутых классов, проблемы синтеза и оценки сложности схем, теория вероятностей на конечных булевых алгебрах. Читатель найдет здесь, в частности, обсуждение связей алгебры логики с элементарными вопросами теории доказательств и с построением определений отрицательных понятий. Основная часть книги формально не использует сведений, выходящих за рамки школьного курса математики. Книга будет полезна студентам младших курсов университетов и пединститутов и ученикам старших классов математических школ.

Содержание

Предисловие.
Путеводитель и указания к пользованию книгой.

§ 1. Операции над высказываниями. Задачи, указания и решения.

§ 2. Функции алгебры логики; нормальные формы. Задачи, указания и решения.

§ 3. Закон двойственности в алгебре логики. Задачи, указания и решения.

§ 4. Арифметические операции в алгебре логики. Задачи, указания и решения.

§ 5. Монотонные функции алгебры логики. Задачи, указания и решения.

§ 6. Функционально замкнутые классы и теорема Поста. Задачи, указания и решения.

§ 7. Общая теория функционально замкнутых классов. Задачи, указания и решения.

§ 8. Схемы из функциональных элементов. Задачи, указания и решения.

§ 9. Релейно-контактные схемы. Оценки сложности схем. Задачи, указания и решения.

§ 10. Элементы вероятностной логики. Задачи, указания и решения.

§ 11. Многозначные логики. Задачи, указания и решения.

§ 12. Логика предикатов. Задачи, указания и решения.

Приложение.

Литература.
Предметный указатель.


Загрузить (Mb)
djvu (3.22) pdf (-) ps (-) html (-) tex (-)

Постоянный адрес этой страницы: http://math.ru/lib/203