A1.1 Organizational Matters Lecturer Dr. Gabriele R oger email: - PowerPoint PPT Presentation

Theory of Computer Science February 18, 2019 — A1. Organizational Matters Theory of Computer Science A1. Organizational Matters A1.1 Organizational Matters Gabriele R¨ oger A1.2 About this Course University of Basel February 18, 2019 Gabriele R¨ oger (University of Basel) Theory of Computer Science February 18, 2019 1 / 22 Gabriele R¨ oger (University of Basel) Theory of Computer Science February 18, 2019 2 / 22 A1. Organizational Matters Organizational Matters A1. Organizational Matters Organizational Matters People A1.1 Organizational Matters Lecturer Dr. Gabriele R¨ oger ◮ email: gabriele.roeger@unibas.ch ◮ office: room 04.005, Spiegelgasse 1 Gabriele R¨ oger (University of Basel) Theory of Computer Science February 18, 2019 3 / 22 Gabriele R¨ oger (University of Basel) Theory of Computer Science February 18, 2019 4 / 22

A1. Organizational Matters Organizational Matters A1. Organizational Matters Organizational Matters People Time & Place Tutors Salom´ e Eriksson Lectures ◮ email: salome.eriksson@unibas.ch ◮ Monday: 14:15–16:00 ◮ office: room 04.001, Spiegelgasse 5 ◮ Wednesday: 16:15–18:00 Cedric Geissmann Room 05.002, Spiegelgasse 5 ◮ email: cedric.geissmann@unibas.ch ◮ office: room 04.001, Spiegelgasse 5 Gabriele R¨ oger (University of Basel) Theory of Computer Science February 18, 2019 5 / 22 Gabriele R¨ oger (University of Basel) Theory of Computer Science February 18, 2019 6 / 22 A1. Organizational Matters Organizational Matters A1. Organizational Matters Organizational Matters Time & Place Theory Course on the Web Course Homepage Exercise Sessions (starting February 25) ◮ course information ◮ group 1 (Cedric Geissmann; in German?) ◮ time: Monday 16:15–18:00 ◮ slides ◮ place: room 00.003, Spiegelgasse 1 ◮ exercise sheets and additional material ◮ group 2 (Salom´ e Eriksson; in English) enrolment: ◮ time: Monday 16:15–18:00 ◮ https://services.unibas.ch/ ◮ place: room U1.001, Spiegelgasse 1 ◮ deadline: March 18 important: please send me an email with your preferred language ◮ better today, so that you get all relevant emails important: until Wednesday 23:59 (February 20). Gabriele R¨ oger (University of Basel) Theory of Computer Science February 18, 2019 7 / 22 Gabriele R¨ oger (University of Basel) Theory of Computer Science February 18, 2019 8 / 22

A1. Organizational Matters Organizational Matters A1. Organizational Matters Organizational Matters Course Material Course Material Textbooks (German) ◮ Logik f¨ ur Informatiker course material: by Uwe Sch¨ oning (5th edition) ◮ slides (online) ◮ covers the part on logic, ◮ textbooks (see next slides) but also advanced topics beyond the scope of the course ◮ additional material on request ◮ Theoretische Informatik – kurz gefasst by Uwe Sch¨ oning (5th edition) ◮ covers large parts of the course, but not the part on logic Gabriele R¨ oger (University of Basel) Theory of Computer Science February 18, 2019 9 / 22 Gabriele R¨ oger (University of Basel) Theory of Computer Science February 18, 2019 10 / 22 A1. Organizational Matters Organizational Matters A1. Organizational Matters Organizational Matters Course Material Target Audience target audience: Textbooks (English) ◮ B.Sc. Computer Science, 4th semester ◮ Logic for Computer Scientists ◮ B.A. Computer Science, 4th or 6th semester as an elective by Uwe Sch¨ oning (1st edition) or if interested in M.Sc. Computer Science degree ◮ covers the part on logic, ◮ all other students welcome but also advanced topics beyond the scope of the course prerequisites: ◮ Introduction to the Theory of Computation ◮ basic proof techniques by Michael Sipser (3rd edition) ◮ covers large parts of the course, (mathematical induction, proof by contradiction, . . . ) but not the part on logic ◮ basic programming skills Gabriele R¨ oger (University of Basel) Theory of Computer Science February 18, 2019 11 / 22 Gabriele R¨ oger (University of Basel) Theory of Computer Science February 18, 2019 12 / 22

A1. Organizational Matters Organizational Matters A1. Organizational Matters Organizational Matters Exam Exercises Exercise sheets (homework assignments): ◮ written exam, 8 ECTS credits ◮ mostly theoretical exercises ◮ June 12, 14:00–16:00 ◮ some programming exercises ◮ admission to exam: no prerequisites ◮ must register for exam during April 1–15 Exercise sessions: � see https://philnat.unibas.ch/de/examen/ ◮ live exercises ◮ grade for course determined exclusively by the exam ◮ questions about exercise sheets ◮ if you fail: one repeat attempt in FS 2020 ◮ questions about the course ◮ participation voluntary but highly recommended Gabriele R¨ oger (University of Basel) Theory of Computer Science February 18, 2019 13 / 22 Gabriele R¨ oger (University of Basel) Theory of Computer Science February 18, 2019 14 / 22 A1. Organizational Matters Organizational Matters A1. Organizational Matters Organizational Matters Exercises Plagiarism Plagiarism (Wikipedia) Plagiarism is the “wrongful appropriation” and “stealing and publication” of another author’s “language, thoughts, ◮ exercise sheets on course homepage every Wednesday ideas, or expressions” and the representation of them as ◮ may be solved in groups of arbitrary size (recommended: 2–3) one’s own original work. ◮ due Wednesday the following week (upload to Courses at https://courses.cs.unibas.ch/ ) consequences: ◮ scans must be legible (no photos, please) ◮ 0 marks for the exercise sheet (first time) ◮ we appreciate L A T EX submissions ◮ exclusion from exam (second time) if in doubt: check with us what is (and isn’t) OK before submitting exercises too difficult? we are happy to help! Gabriele R¨ oger (University of Basel) Theory of Computer Science February 18, 2019 15 / 22 Gabriele R¨ oger (University of Basel) Theory of Computer Science February 18, 2019 16 / 22

A1. Organizational Matters Organizational Matters A1. Organizational Matters About this Course Questions on Organization A1.2 About this Course Questions? Gabriele R¨ oger (University of Basel) Theory of Computer Science February 18, 2019 17 / 22 Gabriele R¨ oger (University of Basel) Theory of Computer Science February 18, 2019 18 / 22 A1. Organizational Matters About this Course A1. Organizational Matters About this Course Content: Theoretical foundations of computer science Learning Goals A. background ⊲ mathematical foundations and proof techniques B. logic (Logik) ⊲ How can knowledge be represented? ◮ understanding the capabilities and limitations of computers ⊲ How can reasoning be automated? ◮ working with formal systems C. automata theory and formal languages ◮ comprehending formal definitions and theorems ◮ precise formulation of definitions, theorems and proofs (Automatentheorie und formale Sprachen) ◮ analyzing formal problems precisely ⊲ What is a computation? ◮ differentiating statements within a system D. Turing computability (Turing-Berechenbarkeit) from statements about a system ⊲ What can be computed at all? E. complexity theory (Komplexit¨ atstheorie) ⊲ What can be computed efficiently? F. more computability theory (mehr Berechenbarkeitheorie) ⊲ Other models of computability Gabriele R¨ oger (University of Basel) Theory of Computer Science February 18, 2019 19 / 22 Gabriele R¨ oger (University of Basel) Theory of Computer Science February 18, 2019 20 / 22

A1. Organizational Matters About this Course A1. Organizational Matters About this Course Warning Questions about the Course “Wer’s nicht gewohnt ist, f¨ ur den ist es ungewohnt.” (Prof. Dr. Th. Ottmann) [If you are not used to it, it may be unusual for you.] Questions? What can you do? ◮ stay on the ball ◮ do the exercises ◮ pay attention to details ◮ ask questions! Gabriele R¨ oger (University of Basel) Theory of Computer Science February 18, 2019 21 / 22 Gabriele R¨ oger (University of Basel) Theory of Computer Science February 18, 2019 22 / 22