tiphareth: верхний пост

(Читать комментарии) - (Добавить комментарий)

tiphareth
2016-05-24 13:15 (ссылка)

ординалы, теорему цермело, лемму цорна необходимо знать на первом курсе
но я не уверен, что их в достаточной мере преподают
(потому что все время уходит на теорему о компактности и те пе)

>элиминация кванторов сейчас вполне себе необходимое
>и респектабельное знание

элиминацию кванторов первокурсникам осваивать трудно
а языки первого порядка просто невозможно освоить, по-моему
такие тонкие вещи (даже если элементарные по сути) трудно постигать,
потому что граница между содержательным утверждением и тавтологией
тут не вполне различима

(Ответить) (Уровень выше) (Ветвь дискуссии)

sasha_a
2016-05-24 13:58 (ссылка)

Заканчиваем писать записки лекций (несуществующих) двух курсов для первого семестра (для бразильцев) с условными названиями:

Топология и анализ (первичные сведения из общей топологии и метрических пространств включая Арцела-Асколи)
Логика, множества и алгебра (суррогат логики безо всякой элиминации кванторов, джентельменский набор по (несколько наивной) теории множеств, основные алгебраические структуры, все по минимуму).

Иногда подворовываем из Вашей книжки по топологии. (Кстати, доказательство леммы Берштейна-Кантора у Вас формально неверное, хотя идейно, конечно, правильное. Или же у меня старая версия.)
Проверяем на живых бразильских людях, первокурсниках и второкурсниках. Вчера, например, учинили контрольную; вроде бы все понимают.

По-португальски (написано больше, но не выложено --- надо перечитать):
http://www.icmc.usp.br/pessoas/grossi/other/t_e_a.pdf
http://www.icmc.usp.br/pessoas/grossi/other/l_e_a.pdf

(Ответить) (Уровень выше) (Ветвь дискуссии)

	tiphareth 2016-05-24 14:10 (ссылка)
	здорово (Ответить) (Уровень выше)

(Читать комментарии) -