Portal do Governo Brasileiro
Inicio
Busca
Sobre o Educapes
Sobre o eduCapes
Como faço minha busca?
Como submeto meu material?
Parceiros
Contato
Fale conosco
Dúvidas frequentes
Login
Submissões
Receber atualizações
por e-mail
Editar Conta
Menu
Inicio
Busca
Sobre o Educapes
Sobre o eduCapes
Como faço minha busca?
Como submeto meu material?
Parceiros
Contato
Fale conosco
Dúvidas frequentes
Acesso Restrito
Submissões
Receber atualizações
por e-mail
Editar Conta
Avaliação do
Você é humano?
8
5
=
Navegar por:
Assunto
Autores
Data do documento
Título
Material UAB
Periódicos
Portal eduCapes
Seta
Navegando por Assunto Mathematical logic
Classificar por:
Título
Data do documento
Data de envio
Em ordem:
Ascendente
Descendente
Resultados/Página
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Registro(s):
Todos
1
5
10
15
20
25
30
35
40
45
50
Mostrando resultados 1 a 20 de 23
Próximo »*
Arithmetic in lambda calculus
Universidade Estadual Paulista (UNESP)
Zeleny, Enrique; Gray, John
26-Out-2016
★
★
★
★
★
(0)
Arithmetic in lambda calculus
Universidade Estadual Paulista (UNESP)
Zeleny, Enrique; Gray, John
26-Mai-2011
★
★
★
★
★
(0)
ASA-CALCPRO: uma ferramenta de cálculo proposional e sua utilização no ensino
Renaux, Douglas Paulo Bertrand
Nicoladelli, José Martim
14-Out-2010
★
★
★
★
★
(0)
Binary operators satisfying two axioms
Universidade Estadual Paulista (UNESP)
Schreiber, Michael
26-Out-2016
★
★
★
★
★
(0)
Binary operators satisfying two axioms
Universidade Estadual Paulista (UNESP)
Schreiber, Michael
26-Mai-2011
★
★
★
★
★
(0)
Boolean primitives as symmetric boolean functions
Universidade Estadual Paulista (UNESP)
Germundsson, Roger
26-Mai-2011
★
★
★
★
★
(0)
Boolean primitives as symmetric boolean functions
Universidade Estadual Paulista (UNESP)
Germundsson, Roger
26-Out-2016
★
★
★
★
★
(0)
Gödelization
Universidade Estadual Paulista (UNESP)
Zeleny, Enrique
26-Out-2016
★
★
★
★
★
(0)
Gödelization
Universidade Estadual Paulista (UNESP)
Zeleny, Enrique
26-Mai-2011
★
★
★
★
★
(0)
Munching square thresholds
Universidade Estadual Paulista (UNESP)
Schreiber, Michael
26-Out-2016
★
★
★
★
★
(0)
Munching square thresholds
Universidade Estadual Paulista (UNESP)
Schreiber, Michael
26-Mai-2011
★
★
★
★
★
(0)
One-term nestedly recursive functions
Universidade Estadual Paulista (UNESP)
Wolfram, Stephen
26-Out-2016
★
★
★
★
★
(0)
One-term nestedly recursive functions
Universidade Estadual Paulista (UNESP)
Wolfram, Stephen
26-Mai-2011
★
★
★
★
★
(0)
Plots of compositions of bitwise operations
Universidade Estadual Paulista (UNESP)
Zeleny, Enrique
26-Out-2016
★
★
★
★
★
(0)
Plots of compositions of bitwise operations
Universidade Estadual Paulista (UNESP)
Zeleny, Enrique
26-Mai-2011
★
★
★
★
★
(0)
Propositional logic test
Universidade Estadual Paulista (UNESP)
Hafner, Izidor
26-Mai-2011
★
★
★
★
★
(0)
Propositional logic test
Universidade Estadual Paulista (UNESP)
Hafner, Izidor
26-Out-2016
★
★
★
★
★
(0)
Recursion in the ackermann function
Universidade Estadual Paulista (UNESP)
Stephen, Wolfram
26-Out-2016
★
★
★
★
★
(0)
Recursion in the ackermann function
Universidade Estadual Paulista (UNESP)
Stephen, Wolfram
26-Mai-2011
★
★
★
★
★
(0)
The chow-ruskey order 5 venn diagram
Universidade Estadual Paulista (UNESP)
Pegg Jr, Ed
26-Out-2016
★
★
★
★
★
(0)