| Course: | Logic |
|---|---|
| ID: | BZ-Log |
| Authors: | Enrico Franconi |
| ECTS: | 4 |
| Classification: | |
| Description: | The aim of the course is to provide students with an understanding of the formal foundations of classical logic languages and methodologies, an overview of the reasoning methods based on logics, and the ability to use classical logic as a tool for representation and reasoning in computer science. The role of logics in conceptual modeling for databases and software engineering is analysed at the end of the course. The syllabus includes: Agents that Reason Logically, Propositional Logic, Foundations of Propositional Logic, Deduction in Propositional Logic, First Order Logic, Foundations of First Order Logic, Using First Order Logic, Representation, Reasoning, and Logic. |
| Course: | Introduction to Artificial Intelligence |
|---|---|
| ID: | BZ- |
| Authors: | Sergio Tessaris |
| ECTS: | 4 |
| Classification: | |
| Description: | Students will be introduced to the key foundational and methodological issues in Artificial Intelligence (AI). The course will provide an overview of AI techniques and their application in a range of domains. The theoretical discussion of techniques and algorithms will be underpinned by practical exercises, thus providing students with an appreciation of the applicability in concrete problems of the techniques described in the course. The syllabus includes: Introduction to AI, Intelligent Agents, Problem solving and search techniques, Constraint satisfaction problems, Introduction to games, Introduction to planning. |
| Course: | Formal Languages |
|---|---|
| ID: | BZ- |
| Authors: | Jörg Nievergeld |
| ECTS: | 4 |
| Classification: | |
| Description: | Introduction to the hierarchy of automata and formal languages and the theory of computation. The syllabus includes: Models of computation, Finite state machines and applications, Theory of finite automata and regular languages, Context-free grammars and languages. |
| Course: | Introduction to Databases |
|---|---|
| ID: | BZ- |
| Authors: | Werner Nutt |
| ECTS: | 8 |
| Classification: | |
| Description: | The aim of the course is to provide students with an overview of database management system architectures and environments, an understanding of basic conceptual and logical database design and implementation techniques, and practical experience of designing and building a relational database. The syllabus includes: Overview of a Database Management System, The Entity-Relationship Data Model, Elements of the E/R Model, The Modeling of Constraints, Weak Entity Sets, The Relational Data Model, Basics of the Relational Model, From E/R Diagrams to Relational Designs, Functional Dependencies, Design of Relational Databases and Normal Forms, Relational Algebra, The Database Language SQL, Queries and sub-queries in SQL, Full-Relation Operations, Database Modifications, Defining a Relation Schema in SQL, View Definitions, DBMS Technologies. |
| Course: | Formal Logic |
|---|---|
| ID: | UPM-Log |
| Authors: | Ana Garcia Serrano |
| ECTS: | 3 |
| Classification: | 1.1.1, 1.1.1.1, 1.1.1.5 |
| Description: | This course gives an overview of the real application of some of the formal systems used in Computer Science: Predicate Logic and First Order Logic. The course is mainly focused on logic definitions, theorems, syntax and semantic. |
| Course: | Logic Programming |
|---|---|
| ID: | UPM-LP |
| Authors: | Manuel Hermenegildo Salinas |
| ECTS: | 8 |
| Classification: | 1.1.2, 1.1.2.1, 1.1.2.3, 1.1.3, 2.4.4 |
| Description: | This course is focused on the use of the logic as practical instrument to develop advanced applications. The course presents representation techniques and problem solving that use logic programming. |
| Course: | Data Bases |
|---|---|
| ID: | UPM-DB |
| Authors: | Ernestina Menasalvas Ruiz |
| ECTS: | 3 |
| Classification: | 1.2.1, 1.2.1.1, 1.2.1.2, 1.2.1.4, 1.2.2 |
| Description: | This course has as main goal the following one: the student will be able to analyze the information needs of a particular situation, and he/she will be able to carry out the process of building a relational data base (which solves the problem). |
| Course: | Network security |
|---|---|
| ID: | PSW |
| Authors: | Fabio Massacci |
| ECTS: | 6 |
| Classification: | 1.3.3 |
| Description: | Part I: Security and Privacy: Introduction to Computer and Network Security; Availability, Authentication, Authorization, Accounting; Access Control Part II: Applied Cryptography: General Introduction (secret keys, public keys, digital signatures); One-Time-Pad; Stream Ciphers (RC4, GSM - A5/1); Block ciphers (DES, RC5, AES); Asymmetric Algorithms (Diffie-Hellman, RSA); Hash functions (SHA-1, MD-5); Digital Watermarking (DVD) Part III: Security Protocols: Autentication (NS-PK/AS, Kerberos, GSM); Key-agreement (Diffie-Hellman, Internet Key Exchange); Secure Web Connections (TLS/SSL); Secure Mobile Connections (WTLS); Electronic Payments (SET - Visa Mastercard, Cybercash); Secure Protocols for Mobility(Secure Mobile IP, Dynamic DNS); Part IV: Practical Hacker Attacks: Passive attacks: network scanning (TCP/SYN,UDP); Active attacks: IP spoofing, hijacking, cookie, cross-site scripting; Denial of service: ping of death, smurf, land, DDoS and rootkits (Note: these attacks are shown to explain the problems and possible solutions: reproducing them on the internet may lead to prosecution). |
| Course: | Introduction in Logic |
|---|---|
| ID: | VU-LOG |
| Authors: | dr. R.C. de Vrijer |
| ECTS: | 5 |
| Classification: | 1.1.1.1, 1.1.1.4, 1.1.1.5, 1.1.3 |
| Description: | In this course the syntax and semantics of propositional and first order logic will be introduced. Deduction as proof system will be explained. The relation between semantical and syntactical methods play a major role including the core terms soundness, consistency, and completeness. After that we go into model checking with binary decision diagrams and into modal logics. Both logics have important applications in computer science. |
| Course: | AI kaleidoscoop |
|---|---|
| ID: | VU-AI |
| Authors: | prof. dr. F.A.H. van Harmelen |
| ECTS: | 6 |
| Classification: | 1.1 |
| Description: | This course gives an overview of the most important areas of artificial intelligence (among knowledge-based systems, search methods, machine learning, production systems, planning, game programmes, etc.). In the first 4 weeks the basic concepts of search methods are treated. In the following period we look in each lecture on an area as whole as well as a representative element of the area in detail. At these elements the representation of knowledge and the search for solutions is focused. |
| Course: | Database I |
|---|---|
| ID: | VU-DB1 |
| Authors: | To be announced |
| ECTS: | 6 |
| Classification: | 1.2.2 |
| Description: | In this college some general principles and important aspects of relational database management systems (Dbms) are treated. Among others we talk about: the terms database, DBMS and ARE, the several types of users of DBMS, DBMS architecture (particularly the three layers architecture of ANSI/sparc), date independence, the (E)ER data model, the relational model, integrity requirements, a classification of constraints, the three types of relational question languages (relational algebra, tupel calculus and domain calculus), SQL, database design and standardization theory, catalog and DD/D (dates dictionary/directory). Also query processing and optimization, operations, recovery and concurrency control are addressed. |
| Course: | Basics of Computer Science I (Grundlagen der Informatik I) |
|---|---|
| ID: | KA:CS1 |
| Authors: | Studer, Sure |
| ECTS: | 6 |
| Classification: | 1.1.1.1, 1.2.1.2, 1.2.1.4 |
| Description: | This course lays the computer science foundations required for the Semantic Web. It deals with the following topics: object-oriented modeling in UML, logic (propositional calculus, first-order predicate logic, boolean algebra), algorithms (properties, testing), algorithms for searching and sorting (Quicksort, Heapsort, etc.), and dynamic data structures (trees, queues, stacks, etc.). The course will be held in German. |
| Course: | Applied Informatics I (Angewandte Informatik I) |
|---|---|
| ID: | KA:AI1 |
| Authors: | Stucky, Studer |
| ECTS: | 4.5 |
| Classification: | 1.1.1.2, 1.2.1.1., 1.2.1.2, 1.2.1.3 |
| Description: | Design and implementation of information systems of different kind are always based on similar approaches: analysis of the existing system, conceptual modeling of the target system, and feedback with users and other participants in all phases. Main preliminaries are the right modeling concepts. This course mainly addresses the early phases of the development of database supported information systems, distributed systems for information services, intelligent systems, and software systems in general. Main topics are modeling concepts and diagram techniques for the different aspects of system design, e.g., data, object relationships, and processes. These application oriented concepts are semantically based on mathematically formulated models like description logics, UML, relational models, and Petri nets. The course will be held in German. |
| Course: | Applied Informatics II (Angewandte Informatik II) |
|---|---|
| ID: | KA:AI2 |
| Authors: | Schmeck |
| ECTS: | 4.5 |
| Classification: | 1.3.1, 1.3.1.1, 1.3.1.2, 1.3.1.3, 1.3.1.4, 1.3.3, 1.3.4, 1.3.7, 3.5 |
| Description: | This course will cover various facets of electronic commerce which have to be supported by adequate and efficient information and communication systems. After a brief introduction to e-commerce the following topics will be covered: methods for describing, representing, and exchanging documents (ranging from EDI to XML), client server architectures, and business objects in the WWW (applets, servlets to CORBA, J2EE and web services), software agents, and security aspects. The course will be held in German. |