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 »