Introduction to Computer Science (Fall 2017)
Course: Introduction to Computer Science (CH08-320101)
Instructor: Jürgen Schönwälder
TA: Steven Abreu, Malte Aaron Granderath, Alexandru Hambasan, Tudor Cristian Maiereanu, Mohit Shrestha, Mihail Tarigradschi
Lectures:
Tuesday 08:15 - 09:30 Lecture Hall Research II
Tuesday (Tutorials) 09:45 - 11:00 Lecture Hall Research II
Thursday 11:15 - 12:30 Lecture Hall Research II
Start: September 5, 2017
Contents:

The course covers the fundamental concepts and techniques of computer science in a bottom-up manner. Based on clear mathematical foundations (which are developed as needed) the course discusses abstract and concrete notions of computing machines, information, and algorithms, focusing on the question of representation versus meaning in Computer Science.

To develop a theoretical notion of computation, we introduce basic concepts of discrete mathematics with a focus on inductively defined structures. The functional programming language Haskell will be introduced and used as the primary programming language for the course. We cover a basic subset of Haskell that includes types, recursion, tuples, lists, strings, and higher-order functions. Back on the theoretical side, we cover the syntax and semantics of Boolean expressions and we explain how Boolean algebra relates to logic gates and digital circuits. On the technical side, we introduce the representation of basic data types such as numbers, characters, strings and dates as well as the basics of computer architecture and assembly programming. On the algorithmic side, the course introduces the notion of correctness and elementary complexity theory (big-O notation) and we introduce abstract data types.

Course Materials:
Books:
Links:
Schedule:
Tue (08:15)Thu (11:15)Topics
2017-09-05 2017-09-07 Introduction and maze generation algorithms
2017-09-12 2017-09-14 String search algorithms, complexity and correctness
2017-09-19 2017-09-21 Mathematical notations and proof techniques
2017-09-26 2017-09-28 Sets, relations, and functions
2017-10-03 2017-10-05 Representation of integer and floating point numbers
2017-10-10 2017-10-12 Representation of characters, strings, date and time
2017-10-17 2017-10-19 Boolean operations and expressions
2017-10-24 2017-10-26 Boolean logic and normal forms
2017-10-31 2017-11-02 Logic gates and basic digital circuits
2017-11-07 2017-11-09 Computer architecture and assembly programming
2017-11-14 2017-11-16 Interpreter, compiler and system software
2017-11-21 2017-11-23 State machines and turing machines
2017-11-28 2017-11-30 Computability theory and complexity theory
2017-12-05 2017-12-07 Abstract data types and types of algorithms
Tutorials:
Tue (09:45)Topics
2017-09-05
2017-09-12 Haskell Tutorial (Alexandru)
2017-09-19 Shell Tutorial (Steven)
2017-09-26 Haskell Tutorial (Alexandru)
2017-10-03
2017-10-10 Lecture (moved from 2017-10-05)
2017-10-17 Haskell Tutorial (Alexandru)
2017-10-24 Grand Tutorial
2017-10-31
2017-11-07 Haskell Tutorial (Alexandru)
2017-11-14
2017-11-21 Haskell Tutorial (Alexandru)
2017-11-28
2017-12-05
Groups:
DayTimeRoomTA
Fri20:00-21:00TBDMihail Tarigradschi
Sat20:00-21:00TBDMohit Shrestha
Sun14:30-15:30TBDAlexandru Hambasan
Sun16:00-17:00TBDTudor Cristian Maiereanu
Sun20:00-21:00TBDMalte Aaron Granderath
Mon20:00-21:00TBDSteven Abreu
Dates:
Date/DueNameTopics
2017-09-12Quiz #1administrivia, mazes, kruskal's algorithm
2017-09-19Problem Sheet #1boyer moore bad character rule, haskell factorial
2017-09-19Quiz #2complexity, correctness, software engineering, mathematical notation
2017-09-26Problem Sheet #2proof by contrapositive and by induction
2017-09-26Quiz #3proof techniques
2017-10-26Midterm Exam
Grading:

The final grade is made up of the final exam (30 %), quizzes (30 %), the midterm exam (20%) and homework assignments (20 %). It is required to submit the solution for homeworks assignments electronically. Late submissions will not be accepted. Homeworks may need to be defended in an oral interview.

Any programs which have to be written will be evaluated based on the following criteria:

  • correctness including proper handling of error conditions
  • proper use of programming language constructs
  • clarity of the program organization and design
  • readability of the source code and any output produced

Source code must be accompanied with a README providing an overview of the source files and giving instructions how to build the programs. A suitable Makefile is required if the build process involves more than a single source file.

For any questions stated on assignment sheets, quiz sheets, exam sheets or during makeups, we by default expect a reasoning for the answer given, unless explicitely stated otherwise.