Скачать Советский учебник

Назначение: Пособие для учителей.

 Современная математическая логика благодаря своим многочисленным приложениям в самых разнообразных областях науки и техники (к сложным проблемам оснований математики, к проблемам лингвистики, к конкретным задачам синтеза автоматов и др.) привлекает внимание широкого круга людей различных специальностей, в том числе и учителей математики средней школы.

© "Просвещение" Москва 1965 

Авторство: Столяр А.А.

Формат:DjVuРазмер файла: 3.88 MB

СОДЕРЖАНИЕ

От автора.

Введение.

Глава 1.Логика высказываний.

Глава 2.Исчисление высказываний.

Глава 3.Логика предикатов.

Скачать бесплатный учебник  СССР - Элементарное введение в математическую логику (Столяр) 1965 года

СКАЧАТЬ DjVu

{spoiler=ОТКРЫТЬ: - отрывок из учебника...}

 Элементы математической логики и некоторые ее приложения включаются в программу средних школ с математической специализацией., они могут служить интересным материалом для внеклассной работы с учащимися старших классов любой средней школы.

Нам представляется, что элементы математической логики в недалеком будущем станут обязательным пунктом школьной программы.

В последнее время у нас вышел ряд монографий и сборников статей по математической логике. Некоторые из них указаны в списке литературы, помещенном в конце настоящей книги.

Однако почти отсутствует литература по математической логике, доступная для учителей математики средней школы.

В настоящей книге автор поставил перед собой задачу дать для этого широкого круга читателей элементарное изложение начал математической логики и некоторых ее приложений.

Учитывая, что под названием «математическая логика» в настоящее время объединяется весьма обширная и глубокая научная проблематика, что в состав математической логики, кроме классической логики высказываний и предикатов, начала которых излагаются в этой книге, входит ряд других логических систем и теорий (конструктивная логика, системы модальной логики, многозначные логики, теория алгоритмов и др.), настоящая книга не может рассматриваться как введение в математическую логику в целом.

Однако ознакомление с изложенным в ней материалом облегчит читателю, желающему серьезно изучить предмет, чтение литературы, рекомендованной в конце книги для этой цели.

В книге имеются и упражнения для самостоятельной работы читателя.

Примеры применения законов логики высказываний в рассуждениях.

В рассуждениях, выводя одни высказывания из других, мы пользуемся законами логики. Выше (§ 2) мы объявили, что тождественно-истинные формулы алгебры высказываний выражают законы логики. Разумеется, законы логики, выражаемые средствами алгебры высказываний, не исчерпывают все законы логики, используемые в рассуждениях. В частности, если при выводе одних высказываний из других учитывается не только структура сложных высказываний, но и внутренняя логическая структура составляющих их элементарных высказываний,то используются законы логики, которые нельзя выразить средствами алгебры высказываний, отвлекающейся от внутренней структуры элементарных высказываний.

{/spoilers}