Разделы сайта
Наш опрос
Мне более интересна категория
Авторизация
Главные новости
- Утро года
Произведения старейшего куйбышевского прозаика и поэта Василия Григорьевича Алферова, которые вошли в настоящий сборник, в основном хорошо известны юному читателю. Автор дает в них широкую...
- Пир (аудиокнига)
Диалог «Пир», один из лучших диалогов Платона, — o любви. В нем изображается пиршество у поэта Агафона, участники которого, в том числе и Сократ, поочередно произносят речи, восхваляющие Эрота, и пытаются ответить...
- Ильин Андрей — Бомба для братвы (аудиокнига)
Стрела арбалета, бесшумно вонзившись в висок охранника, выходит из другого его виска; человек, которого обложили со всех сторон, исчезает, словно растаяв в воздухе; тяжелые грузовики притирают...
- Серия " Книга на все времена» (32 тома)
Книга на все времена — серия именно издательства «Эксмо“. Издательство отбирает книги высокого литературного мастерства, не определяясь пока со стержневым направлением серии. Зато и не валит...
Xili Video Converter — мощная программа для конвертирования видео между различными форматами. С помощью встроенных в Xili Video Converter инструментов вы сможете обрезать видео, накладывать различные эффекты, настраивать яркость,...
Архив новостей
Калужнин Л.А. — Что такое математическая логика?
- bot_news
| - Раздел: КНИГИ, УЧЕБНИКИ » Наука и образование
| - Опубликовано: 15-04-2013, 12:34
Популярное изложение математической логики, не требуещее для своего понимания знаний, превосходящих школьный курс математики. Книга будет полезна всем, кто хочет ознакомиться с основами математической логики. Дополнительно в архиве книги Калужнина Л.А.: «Элементы теории множеств и математической логики в школьном курсе математики». М.: Просвещение, 1978 г. 88 стр.; «Преобразования и перестановки», М.: Наука, 1985 г. 160 с.
Оглавление
Предисловие
Введение
Глава первая. Логика высказываний
§ 1. Элементы логики высказываний
§ 2. Логические операции
§ 3. Булевы функции
§ 4. Нормальные формы. Алгебра Буля
§ 5. Применения алгебры логики в теории релейно-контактных схем и в теории автоматов
Глава вторая. Тождественно истинные формулы логики высказываний
§ 1. Значение тождественно истинных формул для логики высказываний
§ 2. Примеры тождественно истинных формул логики высказываний
§ 3. Формальный вывод тождественно истинных формул логики высказываний
Глава третья. Логика предикатов
§ 1. Предикаты
§ 2. Применение операций логики высказываний к предикатам
§ 3. Кванторы
§ 4. Преобразования формул логики предикатов. Предваренная нормальная форма
§ 5. Суждения и силлогизмы
§ 6. Применение выражений логики предикатов для описания некоторых отношений
Заключение. Основания математики и математическая логика
Литература.
Название: Что такое математическая логика?
Автор: Калужнин Л.А.
Издательство: М.: Наука. Главная редакция физико-математической литературы
Год: 1964
Страниц: 152
Формат: djvu
Размер: 15,4 Мб
Качество: хорошее, текстовый слой, оглавление.
Метки: Наука, Издательство «М : Наука Главная редакция физико-математической литературы», Книги 1964 года, Калужнин Л А, Книги в DJVU
- Комментарии [0]
- Просмотров: 8
|
Похожие публикации: