ABYSS

сетевое издание (научный электронный журнал)

Инструменты пользователя

Инструменты сайта


abyss_issue:10:10

Методические особенности изучения математической логики

Methodic features of studying mathematical logic

УДК 378.016:510.6

Авдеева Е.В., кандидат философских наук, доцент кафедры логики, философии и методологии науки, Орловский государственный университет имени И.С. Тургенева

Avdeeva Е.V., Candidate of Philosophy, Associate professor of Department of logic, philosophy and Methodology of science,Orel State University named after I.S. Turgenev

В данной статье рассматриваются различные типы задач математической логики, методика их решения, проанализирован метод формализации, показано использование символов в повседневной жизни. Решение задач позволяет усваивать практическую логику. Изучая математическую логику, студент формирует мыслительную деятельность.

Ключевые слова: математическая логика, формализация,символ, формула, язык логики высказываний, язык логики предикатов.

This article considers various types of mathematical logic problems, methods for solving them, analyzes the formalization method, and shows the use of symbols in everyday life. Solving problems allows learning practical logic. Studying mathematical logic, a student forms mental activity.

Keywords: mathematical logic, formalization, symbol, formula, language of propositional logic, language of predicate logic.

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

  1. Демин В.Н. Философские принципы русского космизма. Дис. докт. филос. наук: 09.00.01. М., 1996. 303 с.
  2. Винер Н. Я – математик / пер. с англ. М., 1964. 336 с.
  3. Коськов С.Н. Конвенционализм и проблеы современной философии науки / Среднерусский вестник общественных наук. 2009. № 3 (12). С. 7-11.
  4. Светлов В.А. Современная логика. Учебное пособиею. Спб.: Питер, 2006. 400 с.
  5. Хинчин А.Я. О воспитательном эффекте уроков математики / Педагогические статьи. М., 1963. С.128-160.

References

  1. Demin V.N. Filosofskie principy russkogo kosmizma. Dis. dokt. filos. nauk: 09.00.01. M., 1996. 303 s.
  2. Viner N. Ja – matematik / per. s angl. M., 1964. 336 s.
  3. Kos'kov S.N. Konventsionalizm i probley sovremennoy filosofii nauki / Srednerusskiy vestnik obshchestvennykh nauk. 2009. № 3 (12). S. 7-11.
  4. Svetlov V.A. Sovremennaja logika. Uchebnoe posobie. SPb.: Piter, 2006. 400 s.
  5. Hinchin A.Ja. O vospitatel'nom jeffekte urokov matematiki / Pedagogicheskie stat'i. M., 1963. S.128-160.

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

abyss_issue/10/10.txt · Последние изменения: 2019/12/25 12:52 — Желтикова И. В.

Инструменты страницы