tìm kiếm sách
sách
Quyên góp
Đang nhập
Đang nhập
Người dùng đã xác minh danh tính được phép:`
nhận xét cá nhân
Telegram bot
Lịch sử download
gửi tới email hoắc Kindle
xóa mục
lưu vào mục được chọn
Cá nhân
Yêu cầu sách
Khám phá
Z-Recommend
Danh sách sách
Phổ biến
Thể loại
Đóng góp
Quyên góp
Lượt uload
Litera Library
Tặng sách giấy
Thêm sách giấy
Search paper books
LITERA Point của tôi
Tìm từ khóa
Main
Tìm từ khóa
search
1
Элементы математической логики. Алгоритмы и рекурсивные функции
Сибирский федеральный университет
Коллектив авторов
тьюринга
машины
функции
функция
множество
множества
ϕ
о.р.ф
функций
функцию
конфигурации
рекурсивно
χa
алгоритма
доказательство
машин
останавливается
тьюрингу
ч.р.ф
µy
п.р.ф
теорема
чисел
число
tеорема
называется
рекурсивные
типа
стандартно
u01x
αn
задана
машину
помощью
примитивной
программой
рекурсии
существует
тактов
числа
1q1
α1
вычислима
математической
называем
определение
равенства
упражнение
частично
0q2
Ngôn ngữ:
russian
File:
PDF, 432 KB
Các thể loại của bạn:
0
/
0
russian
1
Đi tới
đường link này
hoặc tìm bot "@BotFather" trên Telegram
2
Xin gửi lệnh /newbot
3
Xin nêu tên cho bot của bạn
4
Xin nêu tên người dùng cho bot
5
Xin copy tin nhắn gần đây từ BotFather và dán nó và đây
×
×