Modal logic

Masih seputar materi DAAD summer school, kali ini modal logic dibawakan oleh L. Yohanes Stefanus dosen di fasilkom UI.
Modal Logic itu..

The goal of logic is to develop languages to model the situations we encounter, in such a way that we can reason about them formally.

Reasoning about situations means constructing arguments about them; it’s doneformally means that it’s done in such a way that the arguments are valid and can be defended mathematically, or executed on a computer.

monggo dilanjut dari slidenya.. Stefanus-MLBali2012

Leave a Reply

Your email address will not be published. Required fields are marked *



You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>