| INF1132 Applied Logic | Course | INF | |
|---|---|---|---|
| Lecturer : |
Prof. Dr. rer. nat. habil. Dietmar Uhlig eMail | Homepage |
Term | 1 |
| Course Classification : | Informatics | CH | 3 |
| Language : | German | Type | L E |
| Type of examination : | PL | Credits | 8 |
| Method of evaluation : | written examination 120 min | ||
| Requirements : | |||
| Cross References : | |||
| Previous knowledge : | |||
| Aids and special features : | |||
| Teaching aims : | |||
| Contents : | We will be teaching the basics of logics which are necessary in the field of informatics and applications such as digital technology and circuit design, data bank systems and enquiry languages, logic programming and knowledge processing. | ||
| Literature : | U. Schöning: Logik für Informatiker, Spektrum-Verlag, 4. Auflage, 1995 | ||