Логика на уроках информатики
Для разработки данного курса "Логика на уроках информатики" были взяты за основу материалы, написанные профессором, доктором философских наук - Гетмановой Александрой Денисовной
Профессор, доктор философских наук, занимается исследованием категории отрицания в классической и неклассической логике, историей логики и философских проблем математики. Она автор монографии «Отрицание в системах формальной логики» и ряда научных статей.
Написанный ею учебник для вузов (М.: Высшая школа, 1986) в дополненном и измененном варианте переведен на пять языков: английский, испанский, португальский, арабский и хинди. А.Д. Гетманова является также ведущим автором словаря «Логика: просто о сложном», изданного на английском (М., 1989) и испанском (М., 1991) языках. Профессор А.Д. Гетманова преподает логику в МПГУ им. В.И. Ленина в Москве. Ее лекции и семинары посетили студенты из многих стран мира.
Известный ученый, А.Д. Гетманова - активный участник международных конгрессов: Международного конгресса по математике (Москва, 1966), VII Международного конгресса по логике, методологии и философии науки (Москва, 1987) V и VII Международных симпозиумов по методологии математического моделирования (София, 1990, 1994), XIX Международного конгресса по философии (Москва, 1993).