КУРС МАТЕМАТИЧЕСКОЙ ЛОГИКИ В СИСТЕМЕ СРЕДНЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ

В. И. Игошин

КУРС МАТЕМАТИЧЕСКОЙ ЛОГИКИ В СИСТЕМЕ СРЕДНЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ

В. И. Игошин

Полный текст:

Аннотация

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

Ключ. слова

содержательная математическая логика, формальная математическая логика, содержательные аксиоматические теории, формальные аксиоматические теории, булевы функции, дискретные преобразователи информации.,

Об авторе

В. И. Игошин

Саратовский национальный исследовательский государственный университет имени Н.Г. Чернышевского
Россия

доктор педагогических наук, кандидат физико-математических наук, профессор, Саратовский национальный исследовательский государственный университет имени Н.Г. Чернышевского, механико-математический факультет, кафедра геометрии, профессор кафедры геометрии

410012 г. Саратов, ул. Астраханская, 83

Список литературы

1. Игошин В.И. Элементы математической логики. М.: Издат. центр «Академия», 2016.

2. Игошин В.И. Математическая логика и теория алгоритмов. М.: Изд. центр «Академия», 2004. (переизд. 2008, 2008, 2010).

3. Игошин В.И. Математическая логика. М.: ИНФРА-М, 2012.

4. Игошин В.И. Теория алгоритмов. М.: ИНФРА-М, 2012.

5. Игошин В.И. Теория алгоритмов. М.: Издательский центр «Академия», 2013.

6. Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов. М.: Издат. центр «Академия», 2005, 2006 (2-е изд.), 2007 (3-е изд.), 2008 (4-е изд.).

7. Игошин В.И. Сборник задач по математической логике и теории алгоритмов. М.: КУРС; ИНФРА-М, 2017.

8. Игошин В.И. Математическая логика как педагогика математики. Саратов: Изд-во ООО «Издательский центр «Наука», 2009.

9. Игошин В.И. Математическая логика в обучении математике. Логико-дидактическая подготовка учителя математики.– Saarbrüken, Deutschland / Германия: Palmarium Academic Publishing, 2012.

10. Игошин В.И. Логика с элементами математической логики. Саратов: Научная книга, 2004.

11. Игошин В.И. Дидактическое взаимодействие логики и математики // Педагогика. 2002. № 1. С. 51–55.

Дополнительные файлы

Для цитирования: Игошин В.И. КУРС МАТЕМАТИЧЕСКОЙ ЛОГИКИ В СИСТЕМЕ СРЕДНЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ. Профессиональное образование в современном мире. 2017;7(2):1018-1022.

For citation: Igoshin V.I. MODULE «MATHEMATICAL LOGICS» IN THE SYSTEM OF VOCATIONAL TRAINING. Professional education in the modern world. 2017;7(2):1018-1022. (In Russ.)

Обратные ссылки

Обратные ссылки не определены.

Контент доступен под лицензией Creative Commons Attribution 4.0 License.

ISSN 2224-1841 (Print)

Логин
Пароль