Лекции и лабораторные работы по предмету Математическая логика и теория алгоритмов
(МИППС, КубГТУ)
Лекции по математической логике (дискретная математика)
ПРЕЗЕНТАЦИЯ К ЛЕКЦИИ ПО МАТЛОГИКЕ (заочники) >>
История Математической логики
Логика - наука очень старая, до 19-го века логика рассматривалась в основном в рамках "логики Аристотеля", как "наука о правильном мышлении" и т.п. В середине 19-го века появились
базовые труды английских математиков Дж. Буля (1847 г.) и О. де Моргана (1858) по алгебраизации аристотелевой логики. Середину 19-го века и принято считать
точкой отсчета математической логики. Другое название матлогики, вернее ее составляющей, "булева" - собственно и названа в честь Дж.Буля.
Самое старое сочинение по логике, дошедшее до нас - это "Аналитики" Аристотеля (г.ж. 384 - 322 до н.э.). Также имеются древние независимые труды буддистской логики.
Ученые - отцы математической логики:
* Лейбниц (1646 - 1716) - замысел универсального логического исчисления;
* Буль (1815 - 1864) - логика высказываний;
* Фреге (1848 - 1925) - логическо-математические языки и теория их смысла;
* Пеано (1858 - 1932) - изложение больших разделов математики на языке матлогики;
* Рассел и Уайтхед - 3-х томная монография изложения больших разделов математики на языке матлогики (изд. 1910-13);
* Пост Э.Л. - работы в области выразимости функций алгебры логики
* Тьюринг А.М. - пионерские работы в области теории алгоритмов
Лекции и практические занятия по математической логике
Примеры задач >>
Теория алгоритмов >>
Задание заочникам на к/р >>
Список вопросов к экзамену (заочники) >>
Список литературы >>
Вопросы к зачету Матлогика (ИВ) >>
Практические (дистанционно) >>
|
