26 les relacions: Algorisme, Alonzo Church, Axioma, David Hilbert, Entscheidungsproblem, Estadística, Fórmula (lògica), Giuseppe Peano, Gramàtica, Gramàtica formal, Informàtica, Kurt Gödel, Lògica, Lògica matemàtica, Llenguatge formal, Llenguatge formalitzat, Matemàtiques, Metallenguatge, Model conceptual, Problema de decisió, Regla d'inferència, Símbol, Teorema, Teorema d'incompletesa de Gödel, Teoria de la informació, 1931.
Algorisme
nombres primers Un algorisme (o, alternativament, algoritme) és un conjunt finit d'instruccions o passos que serveixen per a executar una tasca o resoldre un problema.
Nou!!: Sistema formal і Algorisme · Veure més »
Alonzo Church
fou un matemàtic americà i lògic que va fer importants contribucions a la lògica matemàtica i als fonaments la informàtica teòrica.
Nou!!: Sistema formal і Alonzo Church · Veure més »
Axioma
Un axioma tradicionalment és un argument que, o bé és totalment cert per si mateix, o bé com a mínim segons els coneixements actuals es pot donar per innegable.
Nou!!: Sistema formal і Axioma · Veure més »
David Hilbert
David Hilbert (Königsberg, Prússia Oriental, 23 de gener de 1862 – Göttingen, Alemanya, 14 de febrer de 1943) va ser un matemàtic alemany.
Nou!!: Sistema formal і David Hilbert · Veure més »
Entscheidungsproblem
El Entscheidungsproblem (en català: problema de decisió) fou el repte en lògica simbòlica de trobar un algorisme que decidís si una fórmula de càlcul de primer ordre és un teorema.
Nou!!: Sistema formal і Entscheidungsproblem · Veure més »
Estadística
lang.
Nou!!: Sistema formal і Estadística · Veure més »
Fórmula (lògica)
En lògica matemàtica, una fórmula és un objecte sintàctic formal que expressa una proposició.
Nou!!: Sistema formal і Fórmula (lògica) · Veure més »
Giuseppe Peano
Giuseppe Peano (27 d'agost, 1858 – 20 d'abril, 1932) va ser un matemàtic i filòsof italià, conegut per les seves contribucions a la teoria de conjunts.
Nou!!: Sistema formal і Giuseppe Peano · Veure més »
Gramàtica
Una de les primeres gramàtiques catalanes datada l'any 1676: '''''Gramatica cathalana, breu y clara: explicada ab molts exemples''','' escrita per Llorenç Cendrós La gramàtica és la ciència del llenguatge o estudi del sistema d'una llengua determinada.
Nou!!: Sistema formal і Gramàtica · Veure més »
Gramàtica formal
teoremes. En alguns sistemes formals, però, el conjunt dels teoremes coincideix amb el de les fórmules ben formades. Una gramàtica formal és un objecte o model matemàtic que permet especificar un llenguatge o llengua, és a dir, és el conjunt de regles capaços de generar totes les possibilitats combinatòries de l'idioma, ja sigui aquest un llenguatge formal o un llenguatge natural.
Nou!!: Sistema formal і Gramàtica formal · Veure més »
Informàtica
Ordinador executant la distribució Debian del sistema operatiu GNU/Linux. (any 2002) La Informàtica és la ciència o tècnica relativa a la tecnologia que estudia el tractament automàtic de la informació utilitzant dispositius electrònics i sistemes computacionals.
Nou!!: Sistema formal і Informàtica · Veure més »
Kurt Gödel
fou un matemàtic austríac-americà, un lògic profund que va desenvolupar el teorema d'incompletesa, afirmant que qualsevol sistema axiomàtic consistent prou potent per descriure l'aritmètica dels enters permet proposicions (sobre enters) que no es poden demostrar ni refutar.
Nou!!: Sistema formal і Kurt Gödel · Veure més »
Lògica
Aplicació lògica La lògica és l'estudi dels sistemes de raonament que un ésser racional podria utilitzar per raonar.
Nou!!: Sistema formal і Lògica · 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!!: Sistema formal і Lògica matemàtica · Veure més »
Llenguatge formal
teoremes. En alguns sistemes formals, però, el conjunt dels teoremes coincideix amb el de les fórmules ben formades. A matemàtiques, lògica, i ciències de la computació, un llenguatge formal és un llenguatge on els símbols primitius i regles per a unir aquests símbols estan formalment especificats.
Nou!!: Sistema formal і Llenguatge formal · Veure més »
Llenguatge formalitzat
Una de les característiques essencials de la ciència és el llenguatge formalitzat o, més ben dit, el procés de formalització del llenguatge.
Nou!!: Sistema formal і Llenguatge formalitzat · Veure més »
Matemàtiques
Representacions matemàtiques de diversos camps La matemàtica (encara que, per a referir-se, a l'estudi i ciència, s'acostuma a utilitzar el plural matemàtiques) és aquella ciència que estudia patrons en les estructures de cossos abstractes i en les relacions que s'estableixen entre ells (del mot derivat del grec μάθημα, máthēma: ciència, coneixement, aprenentatge; μαθηματικός, mathēmatikós).
Nou!!: Sistema formal і Matemàtiques · Veure més »
Metallenguatge
Dins l'entorn de la lògica i filosofia del llenguatge, un metallenguatge és un llenguatge que s'usa per parlar sobre un altre llenguatge.
Nou!!: Sistema formal і Metallenguatge · Veure més »
Model conceptual
En el sentit més general, un model és tot allò que s'utilitza de qualsevol manera, per representar qualsevol altra cosa.
Nou!!: Sistema formal і Model conceptual · Veure més »
Problema de decisió
En teoria de la computabilitat i en complexitat computacional, un problema de decisió és una qüestió en algun sistema formal amb una resposta sí o no.
Nou!!: Sistema formal і Problema de decisió · Veure més »
Regla d'inferència
En lògica, especialment en lògica matemàtica, una regla d'inferència és un esquema per a construir inferències vàlides.
Nou!!: Sistema formal і Regla d'inferència · Veure més »
Símbol
Portar cintes de diversos colors és una acció simbòlica que mostra suport per a determinades campanyes Un símbol és una representació d'una idea, de manera que aquesta pugui ser percebuda per algun dels sentits; és una realitat que n'evoca d'altres en la nostra ment mitjançant algun procediment d'analogia.
Nou!!: Sistema formal і Símbol · Veure més »
Teorema
editor.
Nou!!: Sistema formal і Teorema · Veure més »
Teorema d'incompletesa de Gödel
Kurt Gödel a 19 anys, cinc anys abans de la demostració dels teoremes. En lògica matemàtica, els teoremes d'incompletesa de Gödel són dos cèlebres teoremes demostrats per Kurt Gödel l'any 1930.
Nou!!: Sistema formal і Teorema d'incompletesa de Gödel · Veure més »
Teoria de la informació
La teoria de la informació estudia la quantificació, l'emmagatzamatge i la comunicació de la informació.
Nou!!: Sistema formal і Teoria de la informació · Veure més »
1931
;Països Catalans.
Nou!!: Sistema formal і 1931 · Veure més »
Redirigeix aquí:
Sistema axiomàtic, Sistema lògic, Sistemes lògics.