Главная
Биография
Научные труды
Лекции
Программное обеспечение
Дипломники
Материалы студентов
Заметки
Сотрудничество
Услуги
Ссылки
Блог
Контакты

Лекции и лабораторные работы по предмету Математическая логика и теория алгоритмов

(МИППС, КубГТУ)

Лекции по математической логике (дискретная математика)

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

Логика - наука очень старая, до 19-го века логика рассматривалась в основном в рамках "логики Аристотеля", как "наука о правильном мышлении" и т.п. В середине 19-го века появились базовые труды английских математиков Дж. Буля (1847 г.) и О. де Моргана (1858) по алгебраизации аристотелевой логики. Середину 19-го века и принято считать точкой отсчета математической логики. Другое название матлогики, вернее ее составляющей, "булева" - собственно и названа в честь Дж.Буля.

Самое старое сочинение по логике, дошедшее до нас - это "Аналитики" Аристотеля (г.ж. 384 - 322 до н.э.). Также имеются древние независимые труды буддистской логики.

Ученые - отцы математической логики:
* Лейбниц (1646 - 1716) - замысел универсального логического исчисления;
* Буль (1815 - 1864) - логика высказываний;
* Фреге (1848 - 1925) - логическо-математические языки и теория их смысла;
* Пеано (1858 - 1932) - изложение больших разделов математики на языке матлогики;
* Рассел и Уайтхед - 3-х томная монография изложения больших разделов математики на языке матлогики (изд. 1910-13);
* Пост Э.Л. - работы в области выразимости функций алгебры логики
* Тьюринг А.М. - пионерские работы в области теории алгоритмов

Лекции и практические занятия по математической логике


Теория алгоритмов >>
Задание заочникам на к/р >>
Список вопросов к экзамену (заочники) >>
Список литературы >>

Переводы статей

Читаемые курсы лекций

Нейросети Искусственный интеллект Методы оптимизации ПИС Сетевая экономика БД МПИ

ПО ЭИС
НТИС
ФЛП
МатЛогика
Ч.М.Э.
МиИМППР

Курсовые работы и проекты
Каталоги научных журналов

Связь (по всем вопросам) с администратором сайта E-mail: sneveld@rambler.ru
При использовании материалов сайта просьба указывать ссылку http://www.shumkoff.ru и первоисточники (если указаны)
Обмен ссылками