Diferència entre les revisions de "Llògica"
Sense resum d'edició |
Sense resum d'edició |
||
| Llínea 6: | Llínea 6: | ||
Finalment, el paper destacat de la llògica formal en el desenroll de la [[computabilitat]], i l'implementació informàtica dels sistemes de raonament estudiats per la llògica (sobretot en el marc de l'[[inteligència artificial]]) han fet que la llògica també es puga considerar en certa manera una subdisciplina de l'[[informàtica]]. | Finalment, el paper destacat de la llògica formal en el desenroll de la [[computabilitat]], i l'implementació informàtica dels sistemes de raonament estudiats per la llògica (sobretot en el marc de l'[[inteligència artificial]]) han fet que la llògica també es puga considerar en certa manera una subdisciplina de l'[[informàtica]]. | ||
== Bibliografia == | == Bibliografia == | ||
* Brookshear, J. Glenn (1989), ''Theory of computation : formal languages, automata, and complexity'', Benjamin/Cummings Pub. Co., Redwood City, Calif. ISBN 0-8053-0143-7 | * Brookshear, J. Glenn (1989), ''Theory of computation : formal languages, automata, and complexity'', Benjamin/Cummings Pub. Co., Redwood City, Calif. ISBN 0-8053-0143-7 | ||