Вопросы по теме '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