Книга "Математическая логика" из жанра Математика - Скачать бесплатно, читать онлайн

 
Учитывать фильтр по выбранному жанру
...
 
Авторизация



или

Поиск по автору
ФИО или ник содержит:
А Б В Г Д Е Ж З И Й К Л М Н О
П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я
Все авторы
Поиск по серии
Название серии содержит:
Поиск по жанру

Последние комментарии
Мотылёk
Игры без правил [СИ]
Сюжет в начале очень заинтересовал,но дальше читала перескакивая страницы только чтоб узнать концовку.В середине были трогательные моменты,эмоции.В итоге обрубленный конц.
Di
Отпусти мои крылья (СИ)
Понравился роман. Спасибо автору)
Натали
Этот томительный дым
 кстати, кому интересно продолжение этой книги называется "это мучительное пламя"..
Натали
Этот томительный дым
Очень хороший,эмоциональный роман, прочитала с большим удовольствием... спасибо автору..и конец реальный, другого и быть не могло..пусть даже и грустный..
Tararam
онлайн
Дотянуться до звезд
Роман, который читаешь с непроходящим комом в горле. Очень эмоционально, очень глубоко, очень трагедийно.
Snezok
Сердцеед (ЛП)
Очень даже цепляет..скорее бы продолжение!
Al.Aline
Нелепая ситуация (СИ)
 Коротко, но мило.
 
 
Математическая логика
Математическая логика
Автор: Эдельман Самсон Львович Жанр: Математика Год: 1975 Добавил: Admin 7 Окт 15 Проверил: Admin 7 Окт 15 Формат:  PDF (2748 Kb)

Скачать бесплатно книгу Математическая логика

  • Currently 0.00/5

Рейтинг: 0.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

Объявления
Где купить?


Нравится книга? Поделись с друзьями!


Похожие книги
Комментарии к книге "Математическая логика"

Комментарий не найдено

Чтобы оставить комментарий или поставить оценку книге Вам нужно зайти на сайт или зарегистрироваться



 

 

2011 - 2018