В учебнике рассматривается теория алгебры высказываний, алгебры предикатов, исчисления высказываний и предикатов. Изложение сопровождается рядом примеров, способствующих усвоению логики математических методов. Включены задачи и упражнения по каждому из разделов.
1
Форматов
Русский
Язык
По жанру и категории
Николай Михайлович Матвеев, Виталий Николаевич Матвеев, Артур Александрович Матюшкин-Герке, Николай Васильевич Богомолов, Семён Моисеевич Козловский
Мартин Гарднер, Татьяна Врублевская-Такер
Джордж У. Макки, Николай Борисович Васильев
Э. Т. Уиттекер, Дж. Н. Ватсон
Алексей Иванович Сгибнев