本の検索
本
ドネーション
サインイン
サインイン
より多くの機能を利用するために
個人的なおすすめ
テレグラムボット
ダウンロード履歴
メールまたはKindleに送信する
ブックリストの管理
お気に入りに保存
個人用
本のリクエスト
探索
Z-おすすめ
ブックリスト
一番人気本
カテゴリー
貢献
ドネーション
アップロード
Litera Library
紙の本を寄付する
紙の本を追加する
Search paper books
私のLitera Point
キーワード検索
Main
キーワード検索
search
1
Элементы математической логики. Алгоритмы и рекурсивные функции
Сибирский федеральный университет
Коллектив авторов
тьюринга
машины
функции
функция
множество
множества
ϕ
о.р.ф
функций
функцию
конфигурации
рекурсивно
χa
алгоритма
доказательство
машин
останавливается
тьюрингу
ч.р.ф
µy
п.р.ф
теорема
чисел
число
tеорема
называется
рекурсивные
типа
стандартно
u01x
αn
задана
машину
помощью
примитивной
программой
рекурсии
существует
тактов
числа
1q1
α1
вычислима
математической
называем
определение
равенства
упражнение
частично
0q2
言語:
russian
ファイル:
PDF, 432 KB
あなたのタグ:
0
/
0
russian
1
このリンク
にアクセスするか、またはTelegramで「@BotFather」というボットを探してください。
2
「/newbot」というコマンドを送信してください。
3
チャットボットの名前を指定してください。
4
ボットのユーザー名を選んでください。
5
BotFatherから最後のメッセージをコピーして、ここに貼り付けてください。
×
×