Jerarquia aritmètica

En lògica matemàtica, la jerarquia aritmètica o jerarquia de Kleene és una classificació de conjunts de nombres naturals (i per extensió de qualsevol tipus d'elements que es codifiquin en nombres naturals) segons la complexitat de les fórmules que els defineixen.

3 les relacions: Axiomes de Peano, Lògica matemàtica, Teoria de la computabilitat.

Axiomes de Peano

Els axiomes de Peano (o postulats de Peano) són un conjunt d'axiomes de segon ordre que defineixen de manera exacta la teoria dels nombres naturals.

Nou!!: Jerarquia aritmètica і Axiomes de Peano · Veure més »

Lògica matemàtica

La lògica matemàtica és la disciplina inclosa en la matemàtica que estudia els sistemes formals en relació amb la manera en què aquests codifiquen els conceptes intuïtius de demostració matemàtica i computació com una part dels fonaments de la matemàtica.

Nou!!: Jerarquia aritmètica і Lògica matemàtica · Veure més »

Teoria de la computabilitat

La teoria de la computabilitat és la part de la computació que estudia els problemes de decisió que poden ser resolts amb un algorisme o equivalentment amb una màquina de Turing.

Nou!!: Jerarquia aritmètica і Teoria de la computabilitat · Veure més »

Uniopèdia és un mapa conceptual o xarxa semàntica organitzada com una enciclopèdia o diccionari. Es dóna una breu definició de cada concepte i les seves relacions.

Aquest és un mapa mental en línia gegant que serveix com a base per a diagrames de conceptes. És lliure d'utilitzar i cada article o document es pot descarregar. És una eina, de recursos o de referència per a l'estudi, la investigació, l'educació, l'aprenentatge o l'ensenyament, que pot ser utilitzat per professors, educadors, alumnes o estudiants; per al món acadèmic: per a l'escola, primària, secundària, batxillerat, secundària, universitat, grau tècnic, escola, universitat, de llicenciatura, mestratge o doctorat; per als papers, informes, projectes, idees, documents, enquestes, resums, o tesi. Aquí està la definició, l'explicació, la descripció o el significat de cada significativa sobre la qual necessita informació, i una llista dels seus conceptes associats com un glossari. Disponible en català, anglès, espanyol, portuguès, japonès, xinès, francès, alemany, italià, polonès, holandès, rus, àrab, hindi, suec, ucraïnesa, hongaresa, txec, hebreu, danès, finlandès, indonesi, noruec, romanès, turc, vietnamita, coreana, tailandesa, grega, búlgara, croata, eslovaca, lituània, filipina, letònia, estònia і eslovè. Més idiomes aviat.

Tota la informació va ser extreta de Viquipèdia i està disponible sota la Llicència de Creative Commons Reconeixement i Compartir-Igual.

Uniopèdia no està avalada ni afiliada a la Fundació Wikimedia.

Google Play, Android i el logotip de Google Play són marques comercials de Google Inc.

Política de privacitat