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

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



или

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

Последние комментарии
Марина
С первого взгляда (СИ)
Детский лепет! Инфантильность-вот главное "достоинство" этого сочинения на заданную тему!   
Лека-а
Каникулы в Раваншире, или Свадьбы не будет!
Очень добрая и милая история. Понравилось!
Sanata
Связанные пламенем (ЛП)
Интересная серия, понравилась
Котена
Назови меня своей
Зачем я это читала? Это же фигня сплошная, растянутая почти на 200 страниц!
Irina@
Прелести вампирской жизни (СИ)
Неправильно указана фамилия автора. Проверяйте, когда выкладываете. Шерстюк Ирина. 
Veronka.Kulikova
Сладкий грех (СИ)
Интересная книга, прочитала на одном дыхании. Только подкачала концовка, интересно а продолжение будет???? 
Катюшка
 
 
Математическая логика
Математическая логика
Автор: Эдельман Самсон Львович Жанр: Математика Год: 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 - 2017