<<
>>

1.1.4 Реализация функции натурального переменного.

но мы допускаем не всюду определенную функцию.

то это означает, что

притом , если f не определена, то и программа не должна ничего выдавать.

притом , если f не определена, то и программа не должна ничего выдавать.

( , а числа представляются в виде ,например .)

<< | >>
Источник: Конспекты лекций по математической логике. 2017

Еще по теме 1.1.4 Реализация функции натурального переменного.: