Фонд

См. также:

Уважаемые коллеги, рубрика «Фонд» представляет собой электронную библиотеку учебно-методической документации, состоящую из авторских разработок участников ежегодных Конкурсов «Документационное сопровождение образовательного процесса: из опыта работы образовательных организаций».
Авторы работ «Фонда» могут получить бесплатное свидетельство о публикации на страницах «Информио» после оформления заявки.


Методические указания для студентов очной формы обучения для выполнения практических заданий и самостоятельной работы

23.08.2016 42 1420
Артюхина Дарья Дмитриевна
Артюхина Дарья Дмитриевна, преподаватель

Оскольский политехнический колледж

Элементы математической логики

 

Логика – это наука о законах мышления. Это одна из древнейших наук. Основные законы логики были сформулированы еще древнегреческим мыслителем Аристотелем. Идеи о построении логики на математической основе, т.е. по сути математической логики, были высказаны Лейбницем в начале 18-го века.

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

Данные методические указания соответствуют учебной программе курса «Элементы математической логики»  для специальностей 09.02.04 - Информационные системы (по отраслям).

 

Оригинал работы:

Методические указания для студентов очной формы обучения для выполнения практических заданий и самостоятельной работы




Назад к списку


Добавить комментарий
Прежде чем добавлять комментарий, ознакомьтесь с правилами публикации
Имя:*
E-mail:
Должность:
Организация:
Комментарий:*
Введите код, который видите на картинке:*