Содержание

Содержание

Введение

Глава 1. Основные понятия математической логики

1.1. Математическая логика как наука

1.2. Высказывания и их виды

1.3. Высказывательные формы

1.4. Высказывания с квантором и их отрицание

1.5. Логические операции и законы логики

Глава 2. Теоретические основы доказательных рассуждений

2.1. Понятие умозаключения. Виды умозаключений

2.2. Теорема, ее структура. Виды теорем

Заключение

Список использованной литературы

Выдержка из текста

Актуальность темы в том, что логика — одна из самых старых наук. Ее богатая событиями история началась еще в Древней Греции и насчитывает две с половиной тысячи лет. В конце прошлого — начале нынешнего века в логике произошла научная революция, в результате которой в корне изменились стиль рассуждений, методы. Наука как бы обрела второе дыхание. Теперь логика — одна из наиболее динамичных наук, образец строгости и точности даже для математических теорий.

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

и т.д.

Список использованной литературы

1. Аматова Г.М. Математика: уч. пособие для студ. высш. пед. учеб заведений/ Г.М. Аматова, М.А. Аматов. – М.: Издательский центр «Академия», 2008. — 256с.

2. Большой энциклопедический словарь / Ред. А. М. Прохоров . – 3е изд., перераб. и доп . – М. : Большая Российская энциклопедия, 2012.

3. Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов / В. И. Игошин. — М.: Академия, 2012. — 220 с.

4. Логический словарь-справочник / Кондаков Н. И. –М.: Книга по Требованию, 2012. – 721 с.

и др.

Похожие записи