ДМ и Топ - лекция 02.10.2024

Vladlen Timorin

39 подписчиков

12+
12+

145 просмотров

2 года назад

ПожаловатьсяНарушение авторских прав

Vladlen Timorin

39 подписчиков

12+
12+

145 просмотров

2 года назад

ПожаловатьсяНарушение авторских прав
12+
12+

145 просмотров

2 года назад

Порядковые типы, строгие порядки, лексикографический и обратный лексикографический порядки. Аксиомы Пеано, теоретико-множественная модель. Доказательства и определения по индукции.