next up previous contents
Next: Algebraisk Semantik Up: Teoretisk Datalogi Previous: Typeteori

Bevisteoretiske Beregninger

Logik programmering, dvs. beskrivelse af løsning på et beregningsproblem alene vha. logiske udsagn i en passende logik, er et centralt emne i datalogien. Der findes mange logikker: udsagnskalkylen (propositional logic), første ordens prædikatkalkylen (predicate calculus), flere modal-logikker såsom (på engelsk): belief, deontic, default, defeasible, [auto-] epistemic, non-monotonic, possibilistic, og andre trænger sig på. Som termen logik antyder bunder studiet af disse data- og beregningsbeskrivelsesformer sig på logikken. Og matematisk logik er derfor en grunddisciplin for alle dataloger.

IT/DTU kan mønstre en effektiv forskning også indenfor dette område (professor Jørgen Fischer Nilsson).



Dines Bjorner
Fri Sep 5 08:26:58 MET DST 1997