Гиндикин С.Г. Алгебра логики в задачах ОНЛАЙН

Гиндикин С.Г. Алгебра логики в задачах. - М., 1972 - 288 с.
Содержит следующие разделы: операции над высказываниями, функции алгебры логики, нормальные формы, закон двойственности, арифметические операции в алгебре логики, монотонные функции, функционально замкнутые классы и теорема Поста, общая теория функционально замкнутых классов, схемы на функциональных элементах, релейно-контактные схемы, элементы вероятностной логики, многозначные логики, логика предикатов.
ОГЛАВЛЕНИЕ
Предисловие . . .....................4
Путеводитель и указания к пользованию книгой.............7
Задачи
§ 1. Операции над высказываниями .......13
§ 2. Функции алгебры логики; нормальные формы...............81
§ 3. Закон двойственности в алгебре логики ............... 58
§ 4. Арифметические операции в алгебре логики ................64
§ 5. Монотонные функции алгебры логики .........................71
§ 6. Функционально замкнутые классы и теорема Поста..............79
§ 7. Общая теория функционально замкнутых классов...........92
§ 8. Схемы из функциональных-элементов 118
§ 9. Релейно-контактные схемы. Оценки сложности схем ...........151
§ 10. Элементы вероятностной логики ....... 195
§ 11. Многозначные логики ............245
§ 12. Логика предикатов................258
Приложение ....................279
Литература ..........................282
Предметный указатель . . . ..........235

Convert your PDF to digital flipbook ↗