Anar al contingut
Menú principal
Menú principal
Desplaçar a la columna lateral
amagar
Navegació
Portada
Portal comunitari
Canvis recents
Pàgines noves
Artícul aleatori
Pàgines especials
Ajuda
Buscar
Buscar
Aparència
Crear un conte
Accedir
Ferramentes personals
Crear un conte
Accedir
Pàgines per a editors desconectats
més informació
Contribucions
Discussió per a esta IP
Categoria
:
Teoria de la demostració
Categoria
Discussió
valencià
Vore
Editar
Editar còdic
Vore historial
Ferramentes
Ferramentes
Desplaçar a la columna lateral
amagar
Accions
Vore
Editar
Editar còdic
Vore historial
General
Lo que enllaça ací
Canvis relacionats
Versió per a imprimir
Enllaç permanent
Informació de la pàgina
Aparència
Desplaçar a la columna lateral
amagar
Ajuda
De L'Enciclopèdia, la wikipedia en valencià
Artículs en la categoria «Teoria de la demostració»
Esta categoria té les següents 17 pàgines:
C
Conseqüent
Consistència (llògica)
Correspondència de Curry-Howard
D
Demostració de consistència de Gentzen
Demostració inválida
Descens infinit
I
Inducció forta
Inducció matemàtica
Interpretabilidad
L
Lleis del pensament
Llògica combinatòria
O
Ordinal de Feferman-Schütte
P
Programa de Hilbert
Prova per contradicció
T
Teorema d'existència
Teorema de cort-eliminació
Teoria de la demostració
Categoria
:
Llògica matemàtica
Buscar
Buscar
Categoria
:
Teoria de la demostració
Afegir tema
