|
|
1. | Роль практики в истории возникновения "чистой" математики |
2. | Диалектическая логика в теории математического доказательства |
3. | О различных взглядах на современную математическую логику |
4. | Борьба материализма и идеализма в математике |
5. | Кибернетика и философия |
6. | Математика и язык |
7. | О законе исключенного третьего в современной математической логике. Тезисы |
8. | О математической логике и философии |
9. | О математической логике |
10. | О философских вопросах современной формальной логики |
11. | Философские вопросы математической логики |
12. | Формальная логика и материалистическая диалектика в математике |
Программа экзамена по математической логике |
Список тем курсовых и дипломных работ по математической логике |
Приложение |
| Логика классов |
| Комбинаторная логика |
| Исчисление |
Предметный указатель |
Именной указатель |
Яновская Софья Александровна Известный советский математик, логик, философ, доктор физико-математических наук. Преподавала математику в Институте красной профессуры, а также логику, историю и философию математики в Московском государственном университете имени М. В. Ломоносова; читала лекции, руководила семинарами, много времени и сил отдавала своим ученикам. С. А. Яновская внесла большой вклад в развитие математической логики в нашей стране: составляла оригинальные курсы лекций, делала доклады, проводила большую организационную работу, участвовала в подготовке энциклопедических изданий, заботясь о том, чтобы в них была достойно представлена математическая логика. Основные ее труды посвящены проблемам истории, методологии и философии математики.
|
|
|
|