Estem treballant per restaurar l'aplicació de Unionpedia a la Google Play Store
SortintEntrant
🌟Hem simplificat el nostre disseny per a una millor navegació!
Instagram Facebook X LinkedIn

Domini de discurs

Índex Domini de discurs

En lògica, el domini del discurs, també anomenat univers del discurs o simplement domini, és el conjunt de coses de què es parla en un determinat context.

Taula de continguts

  1. 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.