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

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



или

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

Последние комментарии
Katuffa
Фабрика звёздной пыли (СИ)
Слишком затянута.
valyavik
Красавица и чудовище (СИ)
 Замечательная интерпретация сказки.
Mara 666
Mara 666
Доспехи гордыни (СИ)
Похоже на "исключение из правил", но мягче, нежнее- понравилось))
valyavik
Рождённая в ночи
 Интересная как первая книга,так и вторая.
Vinill Darck
Бывший (СИ)
ахаххаххахах норм а чё...(у мя друг на 10 см ниже своего парня,притом что в их отношениях он актив,а двухметровый шкафчик не жалуеться,они вместе уже 5 лет, думаю будут и дальше))...ну каждому своё
Vinill Darck
Кукольный Денни (СИ)
история просто супрская,держала за яйца и не отпускала...блин серьёзно, в реале бы на такое не каждый бы пошол...просто потому,что не таких друзей и понимающих родителей,а парню повезло
 
 
Математическая логика
Математическая логика
Автор: Эдельман Самсон Львович Жанр: Математика Год: 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 - 2015

Яндекс
цитирования Рейтинг@Mail.ru