Introduction to Computer Science
About

Module: Introduction to Computer Science (CH232)

Semester: Fall 2019

Instructor: Jürgen Schönwälder

TA: Eglis Balani

TA: Romelda Blaceri

TA: Tianyao Chen

TA: Ivan Kabadzhov

TA: Jovan Shandro

Class: Tuesday, 11:1512:30 (CNLH)

Class: Friday, 08:1509:30 (CNLH)

Class: Friday, 09:4511:00 (CNLH)

1st Module Exam: Saturday 20191214 09:0011:00 (SCC Hall 3+4)

2nd Module Exam: Saturday 20200125 08:0010:00 (ICC East Wing)

Office: Monday, 11:1512:30 (Research I, Room 87)

Start: 20190903
Content and Educational Aims
The module introduces fundamental concepts and techniques of computer science in a bottomup 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.
The module introduces basic concepts of discrete mathematics with a focus on inductively defined structures, to develop a theoretical notion of computation. Students will learn the basics of the functional programming language Haskell because it treats computation as the evaluation of pure and typically inductively defined functions. The module covers a basic subset of Haskell that includes types, recursion, tuples, lists, strings, higherorder functions, and finally monads. Back on the theoretical side, the module covers the syntax and semantics of Boolean expressions and it explains how Boolean algebra relates to logic gates and digital circuits. On the technical side, the course introduces the representation of basic data types such as numbers, characters, and strings as well as the von Neuman computer architecture. On the algorithmic side, the course introduces the notion of correctness and elementary concepts of complexity theory (big O notation).
Intended Learning Outcomes
By the end of this module, students will be able to

explain basic concepts such as the correctness and complexity of algorithms (including the big O notation);

illustrate basic concepts of discrete math (sets, relations, functions);

recall basic proof techniques and use them to prove properties of algorithms;

explain the representation of numbers (integers, floats), characters and strings, and date and time;

summarize basic principles of Boolean algebra and Boolean logic;

describe how Boolean logic relates to logic gates and digital circuits;

outline the basic structure of a von Neumann computer;

explain the execution of machine instructions on a von Neumann computer;

describe the difference between assembler languages and higherlevel programming languages;

define the differences between interpretation and compilation;

illustrate how an operating system kernel supports the execution of programs;

determine the correctness of simple programs;

write simple programs in a pure functional programming language.
Resources
Books

Eric Lehmann, F. Thomson Leighton, Albert R. Meyer: "Mathematics for Computer Science", 2018

David A. Patterson, John L Hennessy: "Computer Organization and Design: The Hardware/Software Interface", 4th edition, Morgan Kaufmann, 2011

Miran Lipovaca: "Learn You a Haskell for Great Good!: A Beginner's Guide", 1st edition, No Starch Press, 2011
Links

Glasgow Haskell Compiler (download ghc from here or use your package manager)

Learn You a Haskell for Great Good! (a book that is also available online)

Haskell: An advanced purely functional programming language (web site about Haskell)

Real World Haskell (a book that is also available online)

Haskell Tutorial (a relatively concise online tutorial)

UNIX Tutorial for Beginners (a tutorial that can be downloaded and done offline)
Schedule
Tu 11:15  Fri 08:15  Topics 

20190903  20190906  Introduction and maze generation algorithms 
20190910  20190913  String search algorithms, complexity and correctness 
20190917  20190920  Mathematical notations and proof techniques 
20190924  20190927  Sets, relations, and functions 
20191001  20191004  Representation of integer and floating point numbers 
20191008  20191011  Representation of characters, strings, date and time 
20191015  20191018  Boolean operations and expressions / practice midterm exam 
20191022  20191025  Boolean algebra and normal forms 
20191029  20191101  Boolean expression minimization and Boolean logic 
20191105  20191108  Logic gates, combinational and sequential digital circuits 
20191112  20191115  von Neuman computer architecture, assembly programming 
20191119  20191122  Interpreter, compiler, operating systems 
20191126  Software specification and verification  
20191203  20191206  Automated generation of proof goals and termination proofs 
Functional Programming (Haskell)
Fri 09:45  Topics 

20190906  Haskell (ghc, expressions) 
20190913  Haskell (lists, characters, strings, tuples) 
20190920  Haskell (characters, strings, tuples, types) 
20190927  Haskell (functions, pattern matching, recursion) 
20191004  Haskell (guards, bindings, case expressions) 
20191011  Haskell (Lambda functions, composition, currying) 
20191018  Practice Midterm Exam 
20191025  Haskell (higher order functions) 
20191101  Haskell (datatypes) 
20191108  Haskell (typeclasses) 
20191115  Haskell (functors, applicative, monads) 
20191122  Haskell (IO monad) 
Haskell (IO monad)  
20191206  Summary and Outlook 
Assignments
Date/Due  Name  Topics 

20190920  Sheet #1  BoyerMoore algorithm, Haskell expressions and operators 
20190927  Sheet #2  Proof by contrapositive and induction, Haskell isLeapYear, rotate, circle functions 
20191004  Sheet #3  Proof by induction, relation properties, Haskell isPrime and isCircPrime functions 
20191011  Sheet #4  Prefix order relations, function composition, Haskell isSpecialPrime function 
20191018  Sheet #5  Bcomplement, IEEE 754 floating pointer numbers, Haskell toBase, fromBase, showBase, readBase functions 
20191025  Sheet #6  Character encoding, data and time calculations, Haskell emoji encoding and decoding 
20191101  Sheet #7  Universal Boolean functions, Boolean expressions and equivalence laws, Haskell variables and truthtable 
20191108  Sheet #8  QuineMcCluskey algorithm 
20191115  Sheet #9  Fulladder digital circuit, Haskell fold function duality theorems 
20191122  Sheet #10  Assembly programming, ripple counter, Haskell type classes 
20191129  Sheet #11  Process creation, BNF grammars, Haskell edit distance 
20191206  Sheet #12  Program correctness proof 
20200115  Sheet #13  Extra sheet for those who did not manage to obtain 50/120 
Results
Evaluation
Rules
The final grade is determined by the final exam (100%). In order to sit for the final exam, it is necessary to have 50% of the assignments correctly solved.
Electronic submission is the preferred way to hand in homework solutions. Please submit documents (plain ASCII/UTF8 text or PDF, no Word) and your source code (packed into a tar or zip archive after removing all binaries and temporary files) via the online submission system. If you have problems, please contact one of the TAs.
Late submissions will not be accepted. Assignments may need to be defended in an oral interview. In case you are ill, you have to follow the procedures defined in the university policies to obtain an official excuse. If you obtain an excuse, the new deadline will be calculated as follows:

Determine the number of days you were excused until the deadline day, not counting excused weekend days.

Determine the day of the end of your excuse and add the number of day you obtained in first step. This gives you the initial new deadline.

If the period between the end of your excuse and the new deadline calculated in the second step includes weekend days, add them as well to the new deadline. (Iterate this step if necessary.)
For any questions stated on assignment sheets or exam sheets, we by default expect a reasoning for the answer given, unless explicitely stated otherwise.
Students must submit solutions individually. If you copy material verbatim from the Internet (or other sources), you have to provide a proper reference. If we find your solution text on the Internet without a proper reference, you risk to lose your points. Any cheating cases will be reported to the registrar. In addition, you will lose the points (of course).
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 by a README file 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.
If you are unhappy with the grading, please report immediately (within one week) to the TAs. If you can't resolve things, contact the instructor. Problem reports which come late, that is after the one week period, are not considered anymore.