Folien - Fachgruppe Informatik an der RWTH Aachen

More documents

Recommendations

Info

Bereich 1: Theoretische Informatik Programmiersprachen und Verifikation LuFG Informatik 2 Prof. Dr. Jürgen Giesl Logic Programming (V3 Ü2, 6 ECTS) V: Mo. 16:45 – 17:15 AH III Fr. 10:00 – 11:30 AH II Ü: Mi. 11:45 – 13:15 AH II Start: 12.04.2013 B M
Imperative Program Logic Program • program = sequence of instructions • program = knowledge base • specifies what should be computed, how it is computed len([], 0). not len([HD|TL], N): -len(TL, M), N is M + 1. ?- len([15,70,36], P). P = 3 Advantages • shorter and clearer programs • fast development • especially suitable for AI
Page 1 and 2: Presentation of Courses in Computer
Page 3 and 4: Presentation Rules • Each profess
Page 5: Bereich 1: Theoretische Informatik
Page 10: Bereich 1: Theoretische Informatik
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 25 and 26: Bereich 1: Theoretische Informatik
Page 27 and 28: Mathematische Grundlagen der Inform
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

Create successful ePaper yourself

Delete template?

Save as template?