And another OU course finished… This one was about logic and it’s applications in computer science. I think I liked this course best so far. One example application of logic in computer science is ofcourse logic programming (Prolog). Another one is proving program correctness.
Add your comment below, or trackback from your own site.
Subscribe to these comments.
Be nice. Keep it clean. Stay on topic. No spam.
You can use these tags: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>