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
Categoria
:
Teoria de la demostració
Categoria
Discussió
valencià
Vore
Vore còdic font
Vore historial
Ferramentes
Ferramentes
Desplaçar a la columna lateral
amagar
Accions
Vore
Vore còdic font
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
