Издательство СО РАН

Издательство СО РАН

Адрес Издательства СО РАН: Россия, 630090, а/я 187
Новосибирск, Морской пр., 2

soran2.gif

Baner_Nauka_Sibiri.jpg


Яндекс.Метрика

Array
(
    [SESS_AUTH] => Array
        (
            [POLICY] => Array
                (
                    [SESSION_TIMEOUT] => 24
                    [SESSION_IP_MASK] => 0.0.0.0
                    [MAX_STORE_NUM] => 10
                    [STORE_IP_MASK] => 0.0.0.0
                    [STORE_TIMEOUT] => 525600
                    [CHECKWORD_TIMEOUT] => 525600
                    [PASSWORD_LENGTH] => 6
                    [PASSWORD_UPPERCASE] => N
                    [PASSWORD_LOWERCASE] => N
                    [PASSWORD_DIGITS] => N
                    [PASSWORD_PUNCTUATION] => N
                    [LOGIN_ATTEMPTS] => 0
                    [PASSWORD_REQUIREMENTS] => Пароль должен быть не менее 6 символов длиной.
                )

        )

    [SESS_IP] => 3.91.17.78
    [SESS_TIME] => 1711714983
    [BX_SESSION_SIGN] => 9b3eeb12a31176bf2731c6c072271eb6
    [fixed_session_id] => ad0e679b5adfede773df136f35009d65
    [UNIQUE_KEY] => 104814d3ef888fe1a00798ab4054751b
    [BX_LOGIN_NEED_CAPTCHA_LOGIN] => Array
        (
            [LOGIN] => 
            [POLICY_ATTEMPTS] => 0
        )

)

Поиск по журналу

Профессиональное образование в современном мире

2017 год, номер 2

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

В.И. Игошин
Саратовский национальный исследовательский государственный университет имени Н. Г Чернышевского, Саратов, Россия
igoshinvi@mail.ru
Ключевые слова: содержательная математическая логика, формальная математическая логика, содержательные аксиоматические теории, формальные аксиоматические теории, булевы функции, дискретные преобразователи информации, meaningful mathematical logics, formal mathematical logics, meaningful axiomatic theories, formal axiomatic theories, Boolean functions, discrete transmitters of information
Страницы: 1018-1022

Аннотация

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

DOI: 10.15372/PEMW20170211