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

Назначение: Пособие для учителей.
Современная математическая логика благодаря своим многочисленным приложениям в самых разнообразных областях науки и техники (к сложным проблемам оснований математики, к проблемам лингвистики, к конкретным задачам синтеза автоматов и др.) привлекает внимание широкого круга людей различных специальностей, в том числе и учителей математики средней школы.
© "Просвещение" Москва 1965
Авторство: Столяр А.А.
Формат: DjVu Размер файла: 3.88 MB
СОДЕРЖАНИЕ
От автора.
Введение.
Глава 1.Логика высказываний.
Глава 2.Исчисление высказываний.
Глава 3.Логика предикатов.
Скачать бесплатный учебник СССР - Элементарное введение в математическую логику (Столяр) 1965 года
СКАЧАТЬ DjVu
Элементы математической логики и некоторые ее приложения включаются в программу средних школ с математической специализацией., они могут служить интересным материалом для внеклассной работы с учащимися старших классов любой средней школы.
Нам представляется, что элементы математической логики в недалеком будущем станут обязательным пунктом школьной программы.
В последнее время у нас вышел ряд монографий и сборников статей по математической логике. Некоторые из них указаны в списке литературы, помещенном в конце настоящей книги.
Однако почти отсутствует литература по математической логике, доступная для учителей математики средней школы.
В настоящей книге автор поставил перед собой задачу дать для этого широкого круга читателей элементарное изложение начал математической логики и некоторых ее приложений.
Учитывая, что под названием «математическая логика» в настоящее время объединяется весьма обширная и глубокая научная проблематика, что в состав математической логики, кроме классической логики высказываний и предикатов, начала которых излагаются в этой книге, входит ряд других логических систем и теорий (конструктивная логика, системы модальной логики, многозначные логики, теория алгоритмов и др.), настоящая книга не может рассматриваться как введение в математическую логику в целом.
Однако ознакомление с изложенным в ней материалом облегчит читателю, желающему серьезно изучить предмет, чтение литературы, рекомендованной в конце книги для этой цели.
В книге имеются и упражнения для самостоятельной работы читателя.
Примеры применения законов логики высказываний в рассуждениях.
В рассуждениях, выводя одни высказывания из других, мы пользуемся законами логики. Выше (§ 2) мы объявили, что тождественно-истинные формулы алгебры высказываний выражают законы логики. Разумеется, законы логики, выражаемые средствами алгебры высказываний, не исчерпывают все законы логики, используемые в рассуждениях. В частности, если при выводе одних высказываний из других учитывается не только структура сложных высказываний, но и внутренняя логическая структура составляющих их элементарных высказываний,то используются законы логики, которые нельзя выразить средствами алгебры высказываний, отвлекающейся от внутренней структуры элементарных высказываний.
Математическая логика

Автор-учебника - Столяр А.А. , ★Все➙ Для Учителей, Математическая логика, ★ВСЕ➙Элементарное, Элементарная математика, Математика - Для Учителей, Математика - Элементарное