Математическая логика

Лариса Токарева

Гарем для землянки (СИ)

автору спасибо. немного наивно но интересно. читайте.

perlichka

Среднощна роза

Разтьрстващ разказ,много силно четиво

Деметра Санкер

Рыжее недоразумение для проклятого герцога (СИ)

Полный бред, наивность и отсутствие логики. Героиня - наивная недоведьма, которая вот так сразу овладела всеми стихиями, ей подвластны все заклинания, но разум у неё как у ребёнка. И это

MarijaAlex

Такая душераздирающая книжка, что последнюю страницу я встречаю как праздник.Читатель, если тебе плохо, то надо прочитать эту книжку, где автор сделала все, чтобы твои беды и печали были ничем по сравнением

MarijaAlex

Нелюдимый (СИ)

Наверное книг с таким сюжетом я прочла уйму.Найти для себя что-то новое трудно, удивительно, что книжка мне понравилась и даже какие-то моменты меня задели за живое.Книжку можно читать, в ней есть всё и боль,

MarijaAlex

Так похожа на нее (СИ)

книжка хорошо написана и сюжет хоть избит, но воплощение его неплохое.Здесь нет в прямом понимании золушек и сто процентных принцев.Начало очень даже спокойное и скучноватое.Несколько страниц в конце

MarijaAlex

Мадин

Это такая хрень,поэтому лучше пройти мимо и не тратить своё время понапрасну.

Математика

Автор: Эдельман Самсон Львович

Год: 1975

Добавил: Admin 7 Окт 15

Проверил: Admin 7 Окт 15

Формат: PDF (2748 Kb)

Currently 0/5

Рейтинг: 0/5 (Всего голосов: 0)

Аннотация

В учебнике рассматривается теория алгебры высказываний, алгебры предикатов, исчисления высказываний и предикатов. Изложение сопровождается рядом примеров, способствующих усвоению логики математических методов. Включены задачи и упражнения по каждому из разделов.
Use the arrow to expand or collapse this section
ОГЛАВЛЕНИЕ
Введение 4
Глава I. Алгебра высказываний
§ 1. Понятие о высказывании и предикате 8
§ 2. Операции над высказываниями 13
§ 3. Отношение эквивалентности 14
§ 4. Необходимые и достаточные условия. Взаимно обратные и взаимно противоположные теоремы 30
5. Закон двойственности 34
6. Нормальные формы 36
7. Проблема разрешения 45
8. Понятие выводимости 48
9. Применение алгебры высказывании для анализа и синтеза
переключательных схем 52
Глава II. Алгебра предикатов
§ 1. Понятие модели и язык теории моделей 60
§ 2. Понятие формулы алгебры предикатов 71.
§ 3. Отношение эквивалентности 79
§ 4. Проблемы общезначимости и выполнимости формул 85
§ 5. Понятие выводимости 93
§ 6. Классы алгебраических моделей 112
Глава III. Исчисление высказываний и предикатов
§ I. Язык исчисления высказываний, аксиомы, правила вывода 127
§ 2. Отношения эквивалентности 142
§ 3. Метатеория исчисления высказываний 150
§ 4. Исчисление предикатов 157
Ответы к упражнениям 164
Список обозначений 171
Литература 172
Предметный указатель 173