Алгебра логики в задачах (1972) С.Г. Гиндикин

вт, 09/22/2020 - 22:24
Алгебра логики в задачах
Автор(ы):
С.Г. Гиндикин
Издательство:
Наука
Год:
1972
Формат:
DJVU
Размер:
3.30 МБ
Описание:

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

Категория:

Добавить комментарий