Skip to main content

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

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

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

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

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

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

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

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

СОДЕРЖАНИЕ

От автора.

Введение.

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

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

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

 

 КАК ОТКРЫВАТЬ СКАЧАННЫЕ ФАЙЛЫ?

👇

СМОТРИТЕ ЗДЕСЬ

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

СКАЧАТЬ DjVu

📜  ОТКРЫТЬ ОТРЫВОК ИЗ КНИГИ....

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

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

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

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

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

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

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

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

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

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

КНИГИ И УЧЕБНИКИ ПО МАТЕМАТИКЕ ДЛЯ УЧИТЕЛЕЙ

БОЛЬШЕ НЕТ

 

Найти похожие материалы можно по меткам расположенным ниже

             👇

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

НОВЫЕ ПУБЛИКАЦИИ УЧЕБНИКОВ и КНИГ ПО МАТЕМАТИКЕ

БОЛЬШЕ НЕТ

ПОПУЛЯРНЫЕ УЧЕБНИКИ и КНИГИ ПО МАТЕМАТИКЕ

БОЛЬШЕ НЕТ

Еще из раздела - МАТЕМАТИКА

БОЛЬШЕ НЕТ

УЧЕБНИКИ ПО МАТЕМАТИКЕ СПИСКОМ И ДРУГИЕ РАЗДЕЛЫ БИБЛИОТЕКИ СВ

Яндекс.Метрика