Taula de continguts
9 les relacions: Base de dades, Conjunt, Conjunt buit, Domini (matemàtiques), Lògica, Lògica de primer ordre, Proposició (lògica), Quantificador (lògica), Teoria de models.
Base de dades
FIg.1 Esquema de blocs del disseny d'una base de dades Una base de dades o un banc de dades és un conjunt de dades segons una estructura coherent i accessibles des d'un o més programes o aplicacions, de manera que qualsevol d'aquestes dades pot ésser extreta del conjunt i actualitzada, sense afectar ni l'estructura del conjunt ni les altres dades.
Veure Domini de discurs і Base de dades
Conjunt
Exemple de conjunt el conjunt '''A''' conté els elements ''a'',''i'',''l'',''o'',''r'' i ''t'', o expressat matemàticament; A.
Veure Domini de discurs і Conjunt
Conjunt buit
Símbol per al conjunt buit El conjunt buit és el conjunt matemàtic que no té cap element.
Veure Domini de discurs і Conjunt buit
Domini (matemàtiques)
En matemàtiques, el domini d'una funció matemàtica \,f: X \to Y és el conjunt dels valors de \,X pels quals la funció està definida.
Veure Domini de discurs і Domini (matemàtiques)
Lògica
Aplicació lògica La lògica és l'estudi dels sistemes de raonament que un ésser racional podria utilitzar per raonar.
Veure Domini de discurs і Lògica
Lògica de primer ordre
La lògica de primer ordre, també anomenada lògica de predicats o càlcul de predicats, és un sistema formal dissenyat per estudiar la inferència en els llenguatges de primer ordre.
Veure Domini de discurs і Lògica de primer ordre
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.
Veure Domini de discurs і Proposició (lògica)
Quantificador (lògica)
A lògica i teoria de conjunts, un quantificador s'utilitza per indicar quants elements d'un conjunt donat compleixen amb certa propietat.
Veure Domini de discurs і Quantificador (lògica)
Teoria de models
La teoria de models és la branca de la matemàtica que estudia les estructures matemàtiques, com ara els grups, els cossos, els grafs o àdhuc els models de la teoria de conjunts, amb les eines de la lògica matemàtica.
Veure Domini de discurs і Teoria de models
També conegut com Domini de referència.