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

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



или

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

Последние комментарии
cherry_ice
Сладкая месть (СИ)
Многое осталось загадкой, и окончание истории тоже...
Vinill Darck
Нелепость? (СИ)
...знаете,я впервые моймал сейчас себя в подобном положении...все рассказы прочитание мной,вызывали разные эмоции...но сейчасих почемуто нет...нет мне не непонравилось,даже на оборот...но сказать ничего не
Елена Сафина
Заключенный
 Обалденная книга!!! Читайте...
Tararam
Изуродованная любовь (ЛП)
Книга не понравилась. Не цепляет. Слишком много противоречий: девушка с рождения живёт в замкнутом чёрном жестоком мире, закрытом от всего внешнего, но при этом шикарно разбирается во всех цивилизованных
Vinill Darck
Оковы самурая (СИ)
как я говорю... ,,У нас своя атмосфера"...персонажи настолько разные,но это не мешает им быть вместе)))...Автору спасибо за хорошую историю
Sanata
Сексуальный антидепрессант
 Роман на 1 час очень короткий и на рдинтебе раз нев впечатлил
Mylin
Разведенная жена или новый союз (фрагмент)
Понравились 1,2 части серии "Разведенная жена".Книги читаются легко,на одном дыхании, текст понятен и не перегружен,сюжет заинтриговывает и захватывает.
 
 
Математическая логика
Математическая логика
Автор: Эдельман Самсон Львович Жанр: Математика Год: 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