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

Гиндикин С.Г. Алгебра логики в задачах. — М., Наука, 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
Поделиться ссылкой:
  • Добавить ВКонтакте заметку об этой странице
  • Мой Мир
  • Facebook
  • Twitter
  • LiveJournal
  • В закладки Google
  • Яндекс.Закладки
  • Сто закладок
  • Blogger
  • Блог Li.ру
  • Блог Я.ру
  • Одноклассники
  • RSS

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

Ваш e-mail не будет опубликован. Обязательные поля помечены *

Наш сайт находят по фразам: