пошук книг
книги
Підтримати
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Мій LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
search
1
Foundations of Mathematics 001
function
recursive
functions
primitive
theorem
sets
define
lemma
ordinal
effective
definable
computable
formula
cardinal
partial
axiom
recursion
ordering
defined
lα
zfc
satisfies
σ0n
axioms
initial
element
sentence
ordinals
transitive
π0n
infinite
choice
rα
founded
arithmetically
consider
limit
arithmetic
cardinals
suppose
equivalent
instruction
finite
formulas
inaccessible
relational
subset
quantifier
total
corollary
Мова:
english
Файл:
PDF, 578 KB
Ваші теги:
0
/
0
english
2
Дополнительные главы теории вычислимости. Учебное пособие по спецкурсу
Подзоров С.Ю.
множество
функция
существует
x̄
вычислимая
ϕ
множества
функции
нумерация
частично
вычислимой
имеем
любого
множеств
вычислимо
доказательство
нумерации
некоторого
рекурсивно
каждого
σ0n
νs
νx
элемент
определения
ϕe
конечных
число
справедливо
отношение
сводится
определение
функцию
следствие
вычислимых
последовательность
вычислима
теореме
π0n
чисел
множеству
называется
определено
ординал
показать
получаем
сводимости
btt
принадлежит
степени
Мова:
russian
Файл:
PDF, 704 KB
Ваші теги:
0
/
0
russian
3
Elementy teorii obliczalnosci
Uniwersytet Marii Curie-Skłodowskiej w Lublinie
Jerzy Mycka
funkcji
zbiór
rekurencyjnie
funkcja
częściowo
rekurencyjnych
zbioru
funkcje
twierdzenie
dowód
turinga
istnieje
definicja
będziemy
twierdzenia
zbiorów
funkcję
rekurencyjne
klasy
wówczas
prec
zbiory
relacji
rec
liczb
zachodzi
zbiorem
maszyny
rekurencyjna
własności
definicji
rekurencyjną
poprzez
ū
funkcją
mocy
naturalnych
łatwo
obliczeń
peana
powyżej
rekursji
teorii
n̄
wystarczy
pokazać
dowodu
przeliczalne
każdego
nazywamy
Рік:
2011
Мова:
polish
Файл:
PDF, 1004 KB
Ваші теги:
5.0
/
4.0
polish, 2011
4
О классификации счетных булевых термов
Селиванов В.Л.
σ01
ω1
любого
2ω
множества
множеств
множество
dα
s01
доказательство
yα
вэджа
σα
иерархии
aβ
класс
следствие
теорема
s0β
булевых
термов
tα
σ0β
счётных
s0α
zα
dyα
верно
предложение
селиванов
справедливо
некоторого
показать
s̃02
включение
вытекает
классификации
любой
последовательность
πα
σ0n
классов
теореме
классы
последовательности
уровней
a2k
вида
называется
ординала
Рік:
2005
Мова:
russian
Файл:
PDF, 261 KB
Ваші теги:
0
/
0
russian, 2005
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×