Калужнин Лев Аркадьевич

Ⓐ ⒸКалужнин Л.А. Что такое математическая логика? [Djv-Fax- 1.3M] Автор: Лев Аркадьевич Калужнин.
(Москва: Издательство «Наука»: Главная редакция физико-математической литературы, 1964)
Скан, обработка, формат Djv-Fax: ???, предоставил: Raidar, 2013

КРАТКОЕ ОГЛАВЛЕНИЕ:
Предисловие (3).
Введение (5).
Глава первая. Логика высказываний (8).
Глава вторая. Тождественно истинные формулы логики высказываний (50).
Глава третья. Логика предикатов (71).
Заключение. Основания математики и математическая логика (130).
Литература (149).

ИЗ ИЗДАНИЯ: Настоящая книга является популярным изложением математической логики, приобретающей все большее значение в связи с развитием автоматизации производственных процессов. В отличие от имеющихся книг по математической логике данная книга не требует для своего понимания знаний, превосходящих школьный курс математики. Книга рассчитана на инженеров и работников, занимающихся вопросами автоматики. Она также будет полезна всем, кто хочет ознакомиться с основами математической логики.

▼

▲

Ⓐ ⒸКалужнин Л.А. Элементы теории множеств и математической логики в школьном курсе математики: Пособие для учителей. [Djv-Fax- 2.6M] Автор: Лев Аркадьевич Калужнин.
(Москва: Издательство «Просвещение», 1978)
Скан, обработка, формат Djv-Fax: ???, предоставил: Raidar, 2013

СОДЕРЖАНИЕ:
Предисловие (3).
§1 Как возникла формальная и математическая логика (5).
§2. Начала теории множеств (12).
§3. Алгебра высказываний и алгебра множеств (25).
§4. Отношения и соответствия, предикаты, кванторы (37).
§5. Высказывательные формы (53).
§6. Аристотелевское учение о суждениях и силлогизмах (65).
§7. Определения (72).
Заключение и обзор литературы (81).
Литература (85).

ИЗ ИЗДАНИЯ: В книге дается краткое изложение элементов теории множеств и математической логики и показывается, как некоторые темы алгебры, геометрии и математического анализа могут рассматриваться с единой точки зрения. Приводятся исторические сведения о возникновении и развитии теории множеств и математической логики.