пошук книг
книги
Підтримати
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Мій LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
search
1
Computability for the Mathematical
University of Waterloo
Peter Hoffman
function
clv
command
recursive
functions
variables
theorem
formula
define
input
commands
defined
1st
primitive
bten
subsection
total
whdo
induction
required
latter
prove
computable
λx
computation
ssq
aten
µx
finite
πn
definitions
inductive
fixed
previous
calculus
itself
infinite
output
notation
assume
strings
computability
step
statement
cases
maps
symbols
partial
recursion
bins
Рік:
2004
Мова:
english
Файл:
PDF, 1.63 MB
Ваші теги:
0
/
0
english, 2004
2
Floyd-Hoare Logic
University of Waterloo
Peter Hoffman
command
variables
ssq
1st
formula
whdo
induction
defined
formulas
required
statement
define
commands
assertion
cases
interpretation
finite
declaration
inductive
derivable
theorem
assume
function
statements
δ1
cten
false
completeness
notation
structural
assertions
aten
subsection
input
latter
correctness
lemma
prove
scom
addendum
bins
declarations
substitution
dten
execution
recursive
soundness
adequacy
equality
itself
Рік:
2003
Мова:
english
Файл:
PDF, 530 KB
Ваші теги:
0
/
0
english, 2003
3
The λ-calculus (lambda calculus)
University of Waterloo
Peter Hoffman
function
λx
functions
µx
πn
theorem
calculus
variables
define
π0
subsection
λy
defined
binary
denotational
operation
maps
definitions
definable
fix
fixed
map
element
isz
prove
ω2
latter
recursive
extensional
induction
models
µy
step
reduction
itself
required
command
programming
strings
ωn
proofs
distinct
inductive
combinatorial
completeness
leftmost
θk
θn
aten
combinatorially
Рік:
2002
Мова:
english
Файл:
PDF, 629 KB
Ваші теги:
0
/
0
english, 2002
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×