Taula de continguts
12 les relacions: Algorisme, Anàlisi d'algorismes, Cambridge University Press, Ciències de la computació, Circuit elèctric, Codi binari, Commutador elèctric, Lògica matemàtica, Porta lògica, Programació lògica, Springer Science+Business Media, Taula de veritat.
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.
Veure Lògica computacional і Algorisme
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.
Veure Lògica computacional і Anàlisi d'algorismes
Cambridge University Press
Cambridge University Press és l'editorial de la Universitat de Cambridge, considerada la més antiga del món encara activa (va ser fundada el 1534) i sense interrupcions.
Veure Lògica computacional і Cambridge University Press
Ciències de la computació
Les Ciències de la computació estudien els fonaments teòrics de la informació i el còmput, juntament amb tècniques pràctiques per a la implementació i aplicació d'aquests fonaments teòrics.
Veure Lògica computacional і Ciències de la computació
Circuit elèctric
Un circuit elèctric Un circuit elèctric és un conjunt simple o complex de conductors i components elèctrics o electrònics (commutadors, condensadors, bateries, resistències, inductors, transistor, díodes, etc.) interconnectats per tal de formar un recorregut per on pot circular un corrent elèctric.
Veure Lògica computacional і Circuit elèctric
Codi binari
El codi binari és el sistema de codificació emprat per a la representació de textos, o processadors d'instruccions de computadora, utilitzant el sistema binari (sistema numèric de dos dígits, o bit: el "0" i el "1").
Veure Lògica computacional і Codi binari
Commutador elèctric
Un aparell de comandament (en anglès: switch) és un operador elèctric que té la funció de governar o controlar circuits elèctrics; o bé obrir-los o bé tancar-los.
Veure Lògica computacional і Commutador elèctric
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.
Veure Lògica computacional і Lògica matemàtica
Porta lògica
Porta lògica I (AND) utilitzant un relé. Una porta lògica és un component electrònic que es pot utilitzar per conduir l'electricitat basada en una regla.
Veure Lògica computacional і Porta lògica
Programació lògica
La programació lògica consisteix en l'aplicació del corpus de coneixement sobre lògica per al disseny de llenguatges de programació; no ha de confondre's amb la disciplina de la lògica computacional.
Veure Lògica computacional і Programació lògica
Springer Science+Business Media
Springer Science+Business Media o Springer és una editorial global que publica llibres, llibres electrònics i publicacions científiques avaluades per experts (''peer review''), en l'àmbit de la ciència, la tecnologia i la medicina (STM: science, technical & medical, en anglès).
Veure Lògica computacional і Springer Science+Business Media
Taula de veritat
La taula de valors de veritat, també coneguda com a taula de veritat, és una eina desenvolupada per Charles Peirce en la dècada del 1880, sent no obstant això més popular el format que Ludwig Wittgenstein va desenvolupar en el seu Tractatus logico-philosophicus, publicat en 1921.
Veure Lògica computacional і Taula de veritat
També conegut com Teoria de computabilitat.