Search result: Catalogue data in Spring Semester 2019
Computer Science Bachelor | ||||||
ONLY for Programme Regulations 2008 | ||||||
Compulsory Courses | ||||||
Number | Title | Type | ECTS | Hours | Lecturers | |
---|---|---|---|---|---|---|
252-0058-00L | Formal Methods and Functional Programming | O | 7 credits | 4V + 2U | D. Basin, P. Müller, D. Traytel | |
Abstract | In this course, participants will learn about new ways of specifying, reasoning about, and developing programs and computer systems. The first half will focus on using functional programs to express and reason about computation. The second half presents methods for developing and verifying programs represented as discrete transition systems. | |||||
Objective | In this course, participants will learn about new ways of specifying, reasoning about, and developing programs and computer systems. Our objective is to help students raise their level of abstraction in modeling and implementing systems. | |||||
Content | The first part of the course will focus on designing and reasoning about functional programs. Functional programs are mathematical expressions that are evaluated and reasoned about much like ordinary mathematical functions. As a result, these expressions are simple to analyze and compose to implement large-scale programs. We will cover the mathematical foundations of functional programming, the lambda calculus, as well as higher-order programming, typing, and proofs of correctness. The second part of the course will focus on deductive and algorithmic validation of programs modeled as transition systems. As an example of deductive verification, students will learn how to formalize the semantics of imperative programming languages and how to use a formal semantics to prove properties of languages and programs. As an example of algorithmic validation, the course will introduce model checking and apply it to programs and program designs. | |||||
252-0063-00L | Data Modelling and Databases | O | 7 credits | 4V + 2U | G. Alonso, C. Zhang | |
Abstract | Data modelling (Entity Relationship), relational data model, relational design theory (normal forms), SQL, database integrity, transactions and advanced database engines | |||||
Objective | Introduction to relational databases and data management. Basics of SQL programming and transaction management. | |||||
Content | The course covers the basic aspects of the design and implementation of databases and information systems. The courses focuses on relational databases as a starting point but will also cover data management issues beyond databases such as: transactional consistency, replication, data warehousing, other data models, as well as SQL. | |||||
Literature | Kemper, Eickler: Datenbanksysteme: Eine Einführung. Oldenbourg Verlag, 7. Auflage, 2009. Garcia-Molina, Ullman, Widom: Database Systems: The Complete Book. Pearson, 2. Auflage, 2008. | |||||
252-0064-00L | Computer Networks | O | 7 credits | 4V + 2U | A. Perrig, A. Singla | |
Abstract | This introductory course on computer networking takes a top-down view from networked applications all through the physical layer. | |||||
Objective | Students will get a comprehensive overview of the key protocols and the architecture of the Internet, as one example of more general principles in network design. Students will also acquire hands-on experience in programming different aspects of a computer networks. Apart from the state-of-the-art in networking practice, students will explore the rationale for the design choices that networks in the past have made, and where applicable, why these choices may no longer be ideal. | |||||
Lecture notes | The slides for each lecture will be made available through the course Web page, along with additional reference material. | |||||
Literature | Computer Networking: A Top-Down Approach, James F. Kurose and Keith W. Ross. Pearson; 7th edition (May 6, 2016) | |||||
401-0604-00L | Probability Theory and Statistics | O | 4 credits | 2V + 1U | A.‑S. Sznitman | |
Abstract | Probability models and applications, introduction to statistical estimation and statistical tests. | |||||
Objective | Ability to understand the covered methods and models from probability theory and to apply them in other contexts. Ability to perform basic statistical tests and to interpret the results. | |||||
Content | The concept of probability space and some classical models: the axioms of Kolmogorov, easy consequences, discrete models, densities, product spaces, relations between various models, distribution functions, transformations of probability distributions. Conditional probabilities, definition and examples, calculation of absolute probabilities from conditional probabilities, Bayes' formula, conditional distribution. Expectation of a random variable,application to coding, variance, covariance and correlation, linear estimator, law of large numbers, central limit theorem. Introduction to statistics: estimation of parameters and tests | |||||
Lecture notes | ja | |||||
Literature | Textbuch: P. Brémaud: 'An Introduction to Probabilistic Modeling', Springer, 1988. |
- Page 1 of 1