Teoria de tipus intuicionista

La teoria de tipus intuïcionista, en anglès: Intuitionistic type theory (també coneguda com a constructive type theory, o Martin-Löf type theory) és una teoria de tipus i un fonament matemàtic alternatiu basada en els principis del constructivisme matemàtic.

5 les relacions: Andrei Kolmogórov, Anglès, Arend Heyting, Luitzen Egbertus Jan Brouwer, Proposició (lògica).

Andrei Kolmogórov

fou un matemàtic rus, preeminent en el, que va avançar diversos camps científics (entre ells la teoria de probabilitats, la topologia, la lògica intuïcionista, les turbulències, la mecànica clàssica i la complexitat computacional).

Nou!!: Teoria de tipus intuicionista і Andrei Kolmogórov · Veure més »

Anglès

L'anglès o anglés (English) és una llengua germànica occidental de la família de les llengües indoeuropees.

Nou!!: Teoria de tipus intuicionista і Anglès · Veure més »

Arend Heyting

va ser un matemàtic neerlandès.

Nou!!: Teoria de tipus intuicionista і Arend Heyting · Veure més »

Luitzen Egbertus Jan Brouwer

va ser un matemàtic neerlandès.

Nou!!: Teoria de tipus intuicionista і Luitzen Egbertus Jan Brouwer · Veure més »

Proposició (lògica)

Una proposició és un conjunt de paraules amb sentit, si bé el terme al·ludeix a realitats diferents segons l'escola d'estudiosos que se segueixi.

Nou!!: Teoria de tipus intuicionista і Proposició (lògica) · Veure més »

Redirigeix aquí:

Intuitionistic type theory.

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