Содержание
Содержание
Введение
Глава 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 с.
и др.