Doações 15 de Setembro 2024 – 1º de Outubro 2024
Sobre a angariação de fundos
pesquisa de livros
livros
Doações:
71.7% atingido
Entrar
Entrar
para acessar mais recursos:
Recomendações pessoais
Telegram bot
Baixar histórico
Enviar para o E-mail ou Kindle
gerenciar as listas de livros
salvar para os favoritos
Pessoal
Pedidos de livro
Explorar
Z-Recomendado
Coleções de livros
Mais populares
Categorias
Contribuição
Doar
Carregamentos
Litera Library
Doe livros de papel
Adicione livros de papel
Search paper books
Meu LITERA Point
Pesquisa de termos
Main
Pesquisa de termos
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
Ano:
2004
Idioma:
english
Arquivo:
PDF, 1.63 MB
As suas tags:
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
Ano:
2003
Idioma:
english
Arquivo:
PDF, 530 KB
As suas tags:
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
Ano:
2002
Idioma:
english
Arquivo:
PDF, 629 KB
As suas tags:
0
/
0
english, 2002
1
Siga a
este link
ou encontre o bot "@BotFather" no Telegram
2
Send /equipe newbot
3
Indique o nome para o seu chatbot
4
Escolha um nome de usuário para um bot
5
Copia a última mensagem de BotFather e insira-a aqui
×
×