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

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



или

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

Последние комментарии
Ашерон
онлайн
Анжелика Монсорье (СИ)
 не самое лучшее произведение автора
Лаки Лэй
онлайн
Под знаком Близнецов
Чудесный роман. Я редко бываю в восторге, но эта книга просто удивительная! Автор действительно вложил душу в свою работу, потрясающей красоты изложение, я влюбилась в Англию, Шотландию и её жителей. Не
stalker67
онлайн
Подыграй мне (СИ)
Написано,конечно с юмором,но если бы не было склонности к этому,никто ни кого не сооблазнил бы,дал бы по ebaly и точка без всяких ,,репетиций''.
Лека-а
Рассвет страсти
 Средненький романчик(
stalker67
онлайн
Килька неслабого посола (СИ)
Хочется сказать много хороших слов-но их просто нет,одни эмоции,причем положительные,,и шо это я в тебя такой влюбленный''?
дервиш
Предложение наблюдателя Первая книга серии Лучшие из худших
Сынок,запомни: берёшь книгу, открываешь в любом месте и читаешь несколько страниц или глав. Если "зацепило" читаешь всю книгу, если нет- вывод ясен. Насчёт тебя мне тоже всё ясно.
Сенсей 0511
Ловушка для сирены (СИ)
Мне понравилась. Любовь здесь есть только без пошлого описания постельных сцен.
 
 
Математическая логика
Математическая логика
Автор: Эдельман Самсон Львович Жанр: Математика Год: 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