| INFB Introduction to Computer Science and Logic | Course | INF | |
|---|---|---|---|
| Lecturers : |
Prof. Dr. rer. nat. habil. Jörg Richard Weimar eMail | Homepage |
Term | 1 |
| Course Classification : | Informatics Bachelor | CH | 4 |
| Language : | english | Type | L E |
| Type of examination : | PL | Credits | 5 |
| Method of evaluation : | written examination 120 min | ||
| Requirements : | |||
| Cross References : | |||
| Previous knowledges : | |||
| Aids and special features : | |||
| Teaching aims : | 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. | ||
| Contents : |
| ||
| Literature : | U. Schneider, D. Werner: Taschenbuch der Informatik, Fachbuchverlag Leipzig, 5. Auflage 2004 U. Schöning: Logik für Informatiker, Spektrum-Verlag. R. Winter, Verlag Harry Deutsch, Grundlagen der formalen Logik | ||