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


ОГЛАВЛЕНИЕ
Предисловие . . …………………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



Читать онлайн
скачать бесплатно


Теги:
логика предикатов, сборник задач по математической логике, Гиндикин алгебра логики, Гиндикин сборник задач, закон двойственности, нормальные формы, операции над высказываниями, сборник задач по дискретной математике, функции алгебры логики

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