Folien - Fachgruppe Informatik an der RWTH Aachen

More documents

Recommendations

Info

Mathematische Grundlagen der Informatik Prof. Dr. Erich Grädel Research Topics: • Logic • Game Theory • Complexity Theory Lectures: • Mathematical Logic I and II • Logic and Games • Algorithmic Model Theory More information: http://logic.rwth-aachen.de/
Mathematische Grundlagen der Informatik Prof. Dr. Erich Grädel (‏Ü2‎ Logic and Games (V4, Lecture: Start 12.4. Tutorial: Start 24.4. Mon 11:45 – 13:15, AH I Wed 14:15 – 15:45, AH I Fri 10:00 – 11:30, AH I Content: • fundamental aspects of classical game theory • finite and infinite games • model-checking games • determinacy of games • complexity and definability of winning regions • multi-player games More Information: http://logic.rwth-aachen.de/Teaching/LS-SS13/
Page 1 and 2: Presentation of Courses in Computer
Page 3 and 4: Presentation Rules • Each profess
Page 5: Bereich 1: Theoretische Informatik
Page 13 and 14: Imperative Program Logic Program
Page 15 and 16: Logic Programming Lecture Mon 15:45
Page 17 and 18: Hybrid in computer science : discre
Page 19 and 20: Combined with the continuous part
Page 21 and 22: Bereich 1: Theoretische Informatik
Page 23 and 24: Lehrstuhl Informatik 7 Logik und Th
Page 29 and 30: Bereich 2: Software und Kommunikati
Page 31 and 32: Prof. Dr. B. Rumpe Lehrstuhl für S
Page 33 and 34: Software Project Management
Page 35 and 36: Software Quality Assurance
Page 39 and 40: Mobile Internet Technology • Cont
Page 43 and 44: Course Schedule Winter 2013/14 Dyna
Page 45 and 46: Safety and Reliability of Software-
Page 47 and 48: Bereich 3: Daten- und Informationsm
Page 49: Research at KBSG • Knowledge Repr
Page 54 and 55: Fraunhofer Institute for Applied In
Page 56 and 57: Computer Supported Cooperative Work
Page 62 and 63: Bereich 4: Angewandte Informatik Sp
Page 64 and 65: Computer Graphics • what is it go
Page 66 and 67: Computer Graphics • what is it go
Page 68 and 69: Courses Offered in SS2012 • Geome
Page 70 and 71: Smoothing Noisy Data Computer Graph
Page 72 and 73: Parametrization Computer Graphics G
Page 74 and 75: Courses Offered in SS2012 • Geome
Page 76 and 77:
Global Illumination Computer Graphi
Page 78 and 79:
Image-Based Rendering Computer Grap
Page 80 and 81:
Bereich 4: Angewandte Informatik Mo
Page 82 and 83:
media computing group i10: Media Co
Page 84 and 85:
Designing Interactive Systems II Pr
Page 86 and 87:
Projects Prof. Jan Borchers • Sum
Page 88 and 89:
Combinatorial Problems in Scientifi
Page 90 and 91:
Matrix Representation: Graph Colori
Page 92 and 93:
Bereich 4: Angewandte Informatik Le
Page 94 and 95:
Chair of HPC - Informatik 12 • He
Page 96 and 97:
Introduction to HPC - Organization
Page 99 and 100:
Bereich 4: Angewandte Informatik Le
Page 101 and 102:
Research • Solutions to harness m
Page 103:
The End
show all

Folien - Fachgruppe Informatik an der RWTH Aachen

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?