Skip to main content

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

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

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

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

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

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

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

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

СОДЕРЖАНИЕ

От автора.

Введение.

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

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

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

 

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

👇

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

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

СКАЧАТЬ DjVu

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

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

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

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

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

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

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

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

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

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

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

Математическая логика

БОЛЬШЕ НЕТ

 

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

             👇

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

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

БОЛЬШЕ НЕТ

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

БОЛЬШЕ НЕТ

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

БОЛЬШЕ НЕТ

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

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