Fonksiyonel ve mantıksal programlama, programlama dili tasarımı kavramları, ve programlar ve programlamlama dilleri ile ilgili formal mantık yürütme.

Dersin Amacı

1. Programlama dillerindeki ana kavramları anlamak.

2. Programlama dillerini analiz etmek ve tasarlamak.

3. Programlama dilleri araştırmalarındaki bazı güncel konuları incelemek.

Kaynakça

B. C. Pierce, Types and Programming Languages , MIT Press, 2002. ,G. Winskel, The Formal Semantics of Programming Languages , MIT Press, 1993.

Learning Outcomes

1. Farklı programlama dillerini anlama, genelleme ve analiz etme.

2. Programlama dillerini tasarlama ve gerçekleştirme.

3. Farklı programlama dillerini karşılaştırma ve değerlendirme.

4. Farklı programlama dilleri ile gerçek dünya problemlerini çözmek.

Notlandırma

Vize: 30%

Sunum: 40%

Final: 30%