Accés més ràpid que el navegador!
46 les relacions: Alan Turing, Algorisme, Algorisme d'Euclides, Alonzo Church, Anàlisi d'algorismes, Aplicació distribuïda, Aprenentatge automàtic, Association for Computing Machinery, Atzar, Base de dades, Biologia computacional, Ciència formal, Circuit integrat a molt gran escala, Claude Elwood Shannon, Complexitat computacional, Computació paral·lela, Criptografia, Criptografia de clau pública, Estructura de dades, Geometria computacional, Gottfried Wilhelm Leibniz, Informàtica, Kurt Gödel, Lògica matemàtica, Llenguatge de programació, Martin Davis, Massachusetts Institute of Technology, Matemàtiques, Màxim comú divisor, Mecànica quàntica, Ordinador quàntic, Peter Shor, Semàntica formal, Sistema algebraic computacional, Stephen Kleene, Temps polinòmic, Teorema d'incompletesa de Gödel, Teoria d'Autòmats, Teoria de categories, Teoria de codis, Teoria de grafs, Teoria de la computabilitat, Teoria de la informació, Teoria de nombres, Xarxa informàtica, Xarxa neuronal.
Alan Turing
Alan Mathison Turing (Maida Vale, 23 de juny de 1912 - Wilmslow, 7 de juny de 1954) fou un científic, matemàtic, lògic, criptoanalista, biomatemàtic i maratonià britànic.
Nou!!: Informàtica teòrica і Alan Turing · Veure més »
Algorisme
nombres primers Un algorisme (o, alternativament, algoritme) és un conjunt finit d'instruccions o passos que serveixen per a executar una tasca o resoldre un problema.
Nou!!: Informàtica teòrica і Algorisme · Veure més »
Algorisme d'Euclides
L'algorisme d'Euclides és un mètode eficaç per a calcular el màxim comú divisor (mcd) entre dos nombres enters.
Nou!!: Informàtica teòrica і Algorisme d'Euclides · Veure més »
Alonzo Church
fou un matemàtic americà i lògic que va fer importants contribucions a la lògica matemàtica i als fonaments la informàtica teòrica.
Nou!!: Informàtica teòrica і Alonzo Church · Veure més »
Anàlisi d'algorismes
L'anàlisi d'algorismes és una part important de la teoria de complexitat computacional més àmplia, que proveeix estimacions teòriques per als recursos que necessita qualsevol algorisme que resolgui un problema computacional donat.
Nou!!: Informàtica teòrica і Anàlisi d'algorismes · Veure més »
Aplicació distribuïda
La computació distribuïda és un nou model informàtic que permet fer grans càlculs utilitzant milers d'ordinadors de voluntaris i així estalviant els costos d'un superordinador.
Nou!!: Informàtica teòrica і Aplicació distribuïda · Veure més »
Aprenentatge automàtic
Laprenentatge automàtic ("machine learning" en anglès) és un camp de la intel·ligència artificial que està dedicat al disseny, l'anàlisi i el desenvolupament d'algorismes i tècniques que permeten que les màquines evolucionin.
Nou!!: Informàtica teòrica і Aprenentatge automàtic · Veure més »
Association for Computing Machinery
LAssociation for Computing Machinery (ACM) és una societat científica internacional dedicada a la informàtica.
Nou!!: Informàtica teòrica і Association for Computing Machinery · Veure més »
Atzar
Un mapa de bits generat de forma pseudoaleatòria Latzar és un conjunt de causes no conegudes amb el resultat d'un efecte imprevisible, que no està regit per les lleis de la natura ni per la voluntat humana conscient.
Nou!!: Informàtica teòrica і Atzar · Veure més »
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.
Nou!!: Informàtica teòrica і Base de dades · Veure més »
Biologia computacional
La biologia computacional és una disciplina que es basa en l'ús d'eines informàtiques aplicades al camp de la biologia.
Nou!!: Informàtica teòrica і Biologia computacional · Veure més »
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.
Nou!!: Informàtica teòrica і Ciència formal · Veure més »
Circuit integrat a molt gran escala
Un circuit integrat a molt gran escala, és un circuit integrat que conté més de 20.000 transistors.
Nou!!: Informàtica teòrica і Circuit integrat a molt gran escala · Veure més »
Claude Elwood Shannon
va ser un enginyer elèctric, matemàtic i criptògraf estatunidenc, recordat per ser el pare de la teoria de la informació i de les comunicacions digitals.
Nou!!: Informàtica teòrica і Claude Elwood Shannon · Veure més »
Complexitat computacional
La teoria de complexitat computacional és la part de la teoria de la computabilitat que estudia els recursos requerits durant el càlcul per resoldre un problema.
Nou!!: Informàtica teòrica і Complexitat computacional · Veure més »
Computació paral·lela
Supercomputadora de '''computació paral·lela''' Blue Gene/P d'IBM La computació paral·lela és una forma de computació en la qual molts càlculs es fan simultàniament, operant sobre el principi que sovint es poden dividir problemes grans en altres de més petits, els quals llavors es poden solucionar concurrentment ("en paral·lel").
Nou!!: Informàtica teòrica і Computació paral·lela · Veure més »
Criptografia
Enigma. La criptografia (o criptologia, del grec κρυπτός, kryptos, "amagat, secret"; i γράφειν, gráphin, "escriptura", o -λογία, -logia, "estudi", respectivament) és, tradicionalment, l'estudi de formes de convertir informació des de la seva forma original cap a un codi incomprensible, de forma que sigui incomprensible pels que no coneguin aquesta tècnica.
Nou!!: Informàtica teòrica і Criptografia · Veure més »
Criptografia de clau pública
Un nombre aleatori gran s'utilitza per fer una parella clau pública/clau privada. Qualsevol pot xifrar utilitzant la clau pública, però només qui té la clau privada pot desxifrar. La seguretat depèn del secret de la clau privada. Utilitzant una clau privada per xifrar (i així, signar) un missatge; qualsevol pot comprovar la signatura fent servir la clau pública (i també qualsevol pot desxifrar el missatge). La validesa depèn de la seguretat de la clau privada. En l'esquema de predistribució de claus de Diffie-Hellman, cada part genera una parella clau pública/privada i distribueix la clau pública. Després d'obtenir una còpia autèntica de les claus públiques dels altres, l'Alice i el Bob poden calcular un secret compartit fora de línia. El secret compartit es pot utilitzar com la clau per a un xifratge simètric. La criptografia asimètrica, coneguda també com a criptografia de clau pública, és una forma de criptografia en la qual la clau utilitzada per xifrar un missatge difereix de la clau utilitzada per desxifrar-lo.
Nou!!: Informàtica teòrica і Criptografia de clau pública · Veure més »
Estructura de dades
En programació, una estructura de dades és una forma d'organitzar un conjunt de dades elementals amb l'objectiu de facilitar la seva manipulació.
Nou!!: Informàtica teòrica і Estructura de dades · Veure més »
Geometria computacional
La geometria computacional és una branca de les ciències de la computació que es dedica a l'estudi d'algorismes que es poden expressar en termes de geometria.
Nou!!: Informàtica teòrica і Geometria computacional · Veure més »
Gottfried Wilhelm Leibniz
Gottfried Wilhelm Leibniz o Leibnitz (Leipzig, Ducat de Saxònia, Sacre Imperi, 1 de juliol de 1646 - Hannover, Ducat de Brunsvic-Lüneburg, Sacre Imperi, 14 de novembre de 1716) fou un filòsof, científic, matemàtic, lògic, diplomàtic, jurista, bibliotecari i filòleg, alemany de llinatge sòrab, que va escriure en llatí, francès i alemany.
Nou!!: Informàtica teòrica і Gottfried Wilhelm Leibniz · 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!!: Informàtica teòrica і Informàtica · Veure més »
Kurt Gödel
fou un matemàtic austríac-americà, un lògic profund que va desenvolupar el teorema d'incompletesa, afirmant que qualsevol sistema axiomàtic consistent prou potent per descriure l'aritmètica dels enters permet proposicions (sobre enters) que no es poden demostrar ni refutar.
Nou!!: Informàtica teòrica і Kurt Gödel · Veure més »
Lògica matemàtica
La lògica matemàtica és la disciplina inclosa en la matemàtica que estudia els sistemes formals en relació amb la manera en què aquests codifiquen els conceptes intuïtius de demostració matemàtica i computació com una part dels fonaments de la matemàtica.
Nou!!: Informàtica teòrica і Lògica matemàtica · Veure més »
Llenguatge de programació
Codi font d'un programa escrit en llenguatge BASIC. Un llenguatge de programació és un llenguatge informàtic utilitzat per controlar el comportament d'una màquina, normalment un ordinador.
Nou!!: Informàtica teòrica і Llenguatge de programació · Veure més »
Martin Davis
va ser un matemàtic estatunidenc.
Nou!!: Informàtica teòrica і Martin Davis · Veure més »
Massachusetts Institute of Technology
El Massachusetts Institute of Technology (MIT) és una institució i universitat estatunidenca dedicada a la recerca i la investigació, situada a la ciutat de Cambridge, Massachusetts.
Nou!!: Informàtica teòrica і Massachusetts Institute of Technology · 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!!: Informàtica teòrica і Matemàtiques · Veure més »
Màxim comú divisor
El màxim comú divisor (mcd) de dos o més nombres enters és, a excepció del signe, el major divisor possible de tots ells.
Nou!!: Informàtica teòrica і Màxim comú divisor · Veure més »
Mecànica quàntica
freqüències ressonants de l'acústica). La mecànica quàntica, coneguda també com a física quàntica, química quàntica o com a teoria quàntica, és la branca de la física que estudia el comportament de la llum i de la matèria a escales microscòpiques, en què l'acció és de l'ordre de la constant de Planck.
Nou!!: Informàtica teòrica і Mecànica quàntica · Veure més »
Ordinador quàntic
IBM Q System One (2019), el primer ordinador quàntic comercial basat en circuits. Un ordinador quàntic és un dispositiu de càlcul que fa ús dels fenòmens específics de la mecànica quàntica, tals com la superposició i l'entrellaçament, per executar operacions sobre dades.
Nou!!: Informàtica teòrica і Ordinador quàntic · Veure més »
Peter Shor
Peter Shor Williston (Nova York, 14 d'agost de 1959) és un professor estatunidenc de matemàtiques aplicades al MIT, famós pel seu treball en computació quàntica, en particular per elaborar l'algorisme de Shor, un algorisme quàntic de factorització exponencialment més ràpid que el millor algorisme conegut actualment que s'executa en un ordinador clàssic.
Nou!!: Informàtica teòrica і Peter Shor · Veure més »
Semàntica formal
La semàntica formal és l'estudi de les interpretacions dels llenguatges formals.
Nou!!: Informàtica teòrica і Semàntica formal · Veure més »
Sistema algebraic computacional
Un sistema algebraic computacional o sistema d'àlgebra computacional (SAC) (CAS, de l'anglès computer algebra system) és un programa d'ordinador o calculadora avançada que facilita el càlcul simbòlic.
Nou!!: Informàtica teòrica і Sistema algebraic computacional · Veure més »
Stephen Kleene
Stephen Kleene (5 de gener de 1909, Hartford (Connecticut), Estats Units - 25 de gener de 1994, Madison (Wisconsin), EUA) fou un lògic i matemàtic estatunidenc.
Nou!!: Informàtica teòrica і Stephen Kleene · Veure més »
Temps polinòmic
En teoria de complexitat, temps polinòmic es refereix al temps de computació d'un problema on el temps, m(n), no és major que una funció polinòmica de la mida del problema, n. Donada qualsevol màquina abstracta tindrà una classe de complexitat corresponent als problemes que es poden resoldre en temps polinòmic en dita màquina.
Nou!!: Informàtica teòrica і Temps polinòmic · Veure més »
Teorema d'incompletesa de Gödel
Kurt Gödel a 19 anys, cinc anys abans de la demostració dels teoremes. En lògica matemàtica, els teoremes d'incompletesa de Gödel són dos cèlebres teoremes demostrats per Kurt Gödel l'any 1930.
Nou!!: Informàtica teòrica і Teorema d'incompletesa de Gödel · Veure més »
Teoria d'Autòmats
La teoria d'autòmats és una branca de les ciències de la computació que estudia les màquines abstractes i els problemes que aquestes són capaces de resoldre.
Nou!!: Informàtica teòrica і Teoria d'Autòmats · Veure més »
Teoria de categories
La teoria de categories és una branca de la matemàtica que estudia de manera abstracta les estructures matemàtiques i llurs relacions.
Nou!!: Informàtica teòrica і Teoria de categories · Veure més »
Teoria de codis
La teoria de codis s'ocupa de trobar mètodes, anomenats codis.
Nou!!: Informàtica teòrica і Teoria de codis · Veure més »
Teoria de grafs
La teoria de grafs és una branca de les matemàtiques i la informàtica que es dedica a l'estudi dels grafs, estructures matemàtiques utilitzades per a modelitzar relacions entre parelles d'objectes.
Nou!!: Informàtica teòrica і Teoria de grafs · Veure més »
Teoria de la computabilitat
La teoria de la computabilitat és la part de la computació que estudia els problemes de decisió que poden ser resolts amb un algorisme o equivalentment amb una màquina de Turing.
Nou!!: Informàtica teòrica і Teoria de la computabilitat · Veure més »
Teoria de la informació
La teoria de la informació estudia la quantificació, l'emmagatzamatge i la comunicació de la informació.
Nou!!: Informàtica teòrica і Teoria de la informació · Veure més »
Teoria de nombres
Bachet de Méziriac, edició amb comentaris de Pierre de Fermat publicada el 1670. La teoria de nombres és la branca de les matemàtiques pures que estudia les propietats dels nombres enters i conté una quantitat considerable de problemes que són «fàcils d'entendre per als no matemàtics», però més en general, estudia les propietats dels elements de dominis enters (anells commutatius amb element unitari i element neutre), així com diversos problemes derivats del seu estudi.
Nou!!: Informàtica teòrica і Teoria de nombres · Veure més »
Xarxa informàtica
Xarxa d'una biblioteca Una xarxa informàtica és un grup interconnectat d'ordinadors.
Nou!!: Informàtica teòrica і Xarxa informàtica · Veure més »
Xarxa neuronal
xarxa neuronal artificial avançada Una xarxa neuronal és una xarxa o circuit de neurones, o en un sentit modern, una xarxa neuronal artificial, composta de neurones o nodes artificials.
Nou!!: Informàtica teòrica і Xarxa neuronal · Veure més »
