1 / 5

Datalogi II (Computer Science II)

Datalogi II (Computer Science II). Seif Haridi KTH. Course Web page. http://www.it.kth.se/edu/gru/DatalogiII/ The teachers Seif Haridi Frej Drejhammar Dragan Havelka Sameh ElAnsary Thomas Sjöland. Contents.

hunter
Download Presentation

Datalogi II (Computer Science II)

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Datalogi II (Computer Science II) Seif Haridi KTH Seif Haridi

  2. Course Web page • http://www.it.kth.se/edu/gru/DatalogiII/ • The teachers • Seif Haridi • Frej Drejhammar • Dragan Havelka • Sameh ElAnsary • Thomas Sjöland Seif Haridi

  3. Contents • Gives a broad introduction to concepts in computer science that is related to computer programming • Focus on programming concepts, techniques and models • Introduction to programming • Declarative programming models • Declarative programming techniques • Declarative concurrency • Encapsulated state • Object-oriented programming • Concurrency and state Seif Haridi

  4. Emphasis • Computer programming as an engineering discipline • This is the theory of computer programming • How to construct complex systems (how to master complexity) • How to reason about different types of systems, correctness and performance • How to use the right computing model in the right situation Seif Haridi

  5. The programming system • http://www.mozart-oz.org • The programming language is Oz, and the system is Mozart • Interactive • Supports the programming models introduced in the course • Mozart requires Unix/Linux or Win2000 Seif Haridi

More Related