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

Un 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 dona 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 que és tradicionalment considerat com a oposat al racionalisme.

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

Estadística

lang.

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 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!!: Ciència formal і Informàtica · Veure més »

Investigació

La sala de recerca de la Biblioteca Pública de Nova York el 2006. 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 ells (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 (també número, segons l'AVL) é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'emmagatzamatge i la comunicació de la informació.

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

Redirigeix aquí:

Ciència pura, Ciències formals, Ciències pures.

SortintEntrant
Hey! Estem a Facebook ara! »