Вопросы по теме 'peano-numbers'

Есть ли в этом учебнике ошибка по арифметике Пеано?
Я столкнулся с этим сомнением на открытом онлайн-курсе по интрологике, предлагаемом Стэнфордским университетом. По разделу 9.4 этого учебника здесь: http://logic.stanford.edu/intrologic/secondary/notes/chapter_09.html В нем говорится:...
47 просмотров
schedule 19.11.2023

Как проверить числа Пеано
Я прохожу курс Основы функционального программирования на Scala на Coursera. Вот пример реализации числа Пеано : abstract class Nat { def isZero: Boolean def predecessor: Nat def successor: Nat = new Succ(this) def +(that: Nat): Nat...
400 просмотров
schedule 02.12.2022