Математическое образование
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Матем. обр.:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Математическое образование, 2015, выпуск 3(75), страницы 14–18 (Mi mo2)  
Учащимся и учителям средней школы

Формальный язык

К. В. Козеренко

Государственный лицей "Вторая школа", г. Москва
PDF полного текста (143 kB)
Список литературы:
PDF
HTML
Аннотация: В статье рассказано о становлении формального языка, который стал характерным признаком математики нового времени. Рассмотрены некоторые примеры формальных систем, обсуждается сущность аксиоматического метода.
Ключевые слова: формальный язык, структура, аксиоматический метод.
Тип публикации: Научно-популярный, образовательный материал
УДК: 510.23
Образец цитирования: К. В. Козеренко, “Формальный язык”, Матем. обр., 2015, № 3(75), 14–18
Цитирование в формате AMSBIB
\RBibitem{Koz15}
\by К.~В.~Козеренко
\paper Формальный язык
\jour Матем. обр.
\yr 2015
\issue 3(75)
\pages 14--18
\mathnet{http://mi.mathnet.ru/mo2}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/mo2
  • https://www.mathnet.ru/rus/mo/y2015/i3/p14
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Математическое образование
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024