Logo
Uniopèdia
Comunicació
Disponible a Google Play
Nou! Descarregar Uniopèdia al dispositiu Android™!
Gratis
Accés més ràpid que el navegador!
 

Ciència formal

Índex Ciència formal

Una ciència formal és una disciplina teòrica l'objecte de la qual no té contingut empíric, sinó que desenvolupa i estudia sistemes formals.

20 les relacions: Abstracció (filosofia), Ciència, Ciència experimental, Concepte, Demostració, Disciplina, Empirisme, Estadística, Física, Informàtica, Investigació, Lògica, Llenguatge formal, Matemàtiques, Nombre, Raonament, Realitat, Sistema formal, Teoria, Teoria de la informació.

Abstracció (filosofia)

L'abstracció (del llatí abstrahere, separar) és, en filosofia, una operació mental destinada a aïllar conceptualment una característica, essencial o accidental, del conjunt dels elements percebuts pels sentits, i reflexionar mentalment sobre aquesta, ignorant mentalment la resta d'elements.

Nou!!: Ciència formal і Abstracció (filosofia) · Veure més »

Ciència

La ciència (del llatí scientia) és, etimològicament, un conjunt de coneixements dels principis i les causes obtingudes per mitjà del raonament.

Nou!!: Ciència formal і Ciència · Veure més »

Ciència experimental

Una ciència experimental o ciència empírica és el nom que reben les ciències que comproven les Hipòtesi mitjançant un experiment.

Nou!!: Ciència formal і Ciència experimental · Veure més »

Concepte

El concepte és l'abstracció intel·lectual de les característiques o notes essencials d'un element físic o ideal, i pràcticament és tota aquella especificació que se li dóna a algun objecte o treball.

Nou!!: Ciència formal і Concepte · Veure més »

Demostració

Una demostració és un argument rigorós que parteix d'unes premisses que es consideren proposicions acceptades, i tot usant regles correctes d'inferència, arriba a una conclusió.

Nou!!: Ciència formal і Demostració · Veure més »

Disciplina

En la seva accepció més comuna la disciplina és la capacitat d'enfocar els mateixos esforços en aconseguir un fi, tot i que etimològicament, disciplina fa referència a la instrucció donada a un deixeble, accepció que preserva el sentit de la paraula original en llatí (comandament) l'arrel discere significa aprendre.

Nou!!: Ciència formal і Disciplina · Veure més »

Empirisme

John Locke, fundador de l'Empirisme britànic. David Hume. L'empirisme és un corrent filosòfic sorgit a les Illes Britàniques al segle XVIII que és tradicionalment considerat com a oposat al racionalisme.

Nou!!: Ciència formal і Empirisme · Veure més »

Estadística

Gràfica de la distribució normal L'estadística o estatística és la ciència matemàtica relacionada amb la recopilació, anàlisi, interpretació i representació de dades.

Nou!!: Ciència formal і Estadística · Veure més »

Física

La física (del grec φυσικός (phusikos), 'natural' i φύσις (phusis), 'natura') és la ciència que estudia la natura en el seu sentit més ampli, ocupant-se del comportament de la matèria i l'energia, i de les forces fonamentals de la natura que governen les interaccions entre les partícules.

Nou!!: Ciència formal і Física · Veure més »

Informàtica

Ordinador actual executant la distribució Debian del sistema operatiu GNU/Linux. 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!!: Ciència formal і Informàtica · Veure més »

Investigació

La investigació o recerca és el procés, analític, sistemàtic, organitzat i objectiu el propòsit del qual és respondre a una pregunta o hipòtesi i així augmentar el coneixement i la informació sobre una cosa desconeguda i del qual es desitja saber més a fons.

Nou!!: Ciència formal і Investigació · 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!!: Ciència formal і Lògica · 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!!: Ciència formal і Llenguatge formal · 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 aquests (del mot derivat del grec μάθημα, máthēma: ciència, coneixement, aprenentatge; μαθηματικός, mathēmatikós).

Nou!!: Ciència formal і Matemàtiques · Veure més »

Nombre

Un nombre és el concepte que sorgeix del resultat de comptar les coses que formen un agregat, o una generalització d'aquest concepte.

Nou!!: Ciència formal і Nombre · Veure més »

Raonament

El raonament és una facultat mental que permet resoldre problemes mitjançant la raó, és a dir, per una activitat mental que consisteix a enllaçar un conjunt de proposicions entre si per donar suport o justificar una idea.

Nou!!: Ciència formal і Raonament · Veure més »

Realitat

La realitat és el conjunt de tot allò que efectivament existeix, en contrast amb tot allò que és imaginari o allò que sembli altra cosa que el que és.

Nou!!: Ciència formal і Realitat · Veure més »

Sistema formal

Un sistema formal o axiomàtic és un artifici matemàtic compost de símbols que s'uneixen entre si formant cadenes que, al seu torn, poden ser manipulades segons regles per produir altres cadenes.

Nou!!: Ciència formal і Sistema formal · Veure més »

Teoria

Una teoria és un model de la realitat, usat per a racionalitzar, explicar i predir fenòmens.

Nou!!: Ciència formal і Teoria · Veure més »

Teoria de la informació

La Teoria de la Informació estudia la quantificació, l'emmagatzemament i la comunicació de la informació Va ser proposada originalment per Claude E. Shannon el 1948 quan estudiava els límits fonamentals en el processament del senyal i operacions com la compressió de dades en l'article cabdal "A Mathematical Theory of Communication" (Una teoria matemàtica de la comunicació).

Nou!!: Ciència formal і Teoria de la informació · Veure més »

Redirigeix aquí:

Ciència pura, Ciències pures.

SortintEntrant
Hey! Estem a Facebook ara! »