Programlama Dillerinin Prensipleri(INF115)
| Ders Kodu | Dersin Adı | Yarıyıl | Teori | Uygulama | Lab | Kredisi | AKTS |
|---|---|---|---|---|---|---|---|
| INF115 | Programlama Dillerinin Prensipleri | 2 | 2 | 0 | 0 | 2 | 2 |
| Ön Koşul | |
| Derse Kabul Koşulları |
| Dersin Dili | Fransızca |
| Türü | Zorunlu |
| Dersin Düzeyi | Lisans |
| Dersi Veren(ler) | İsmail Burak PARLAK bparlak@gsu.edu.tr (Email) |
| Dersin Yardımcıları | |
| Dersin Amacı | Bu dersin amacı, programlama dillerinin biçimselliği ile ilgili becerileri kazandırmaktır. Bilgisayar bilimi alanında teknik ve teorik prensipler yer almaktadır. Teori, genellikle programcıları daha üretken kılmak için yeni programlama dillerinin ve araçlarının geliştirilmesinin bir parçasıdır. Bilgisayar programlama, bu araçlarla karmaşık sistemler oluşturma sürecidir. Bilgisayar bilimcileri, programlama dillerini üç paradigmaya veya programlama hakkında düşünme yollarına göre ayırır: nesne yönelimli/emredici programlama, fonksiyonel programlama ve mantıksal programlama. |
| İçerik |
1. Hafta Programlama dillerinin sınıflandırılması, teorisine girş 2. Hafta Dil biçimleri ve tipleri; emredici, nesneye yönelik, mantıksal, işlevsel diller 3. Hafta Düzenli ifader 4. Hafta Veri derleyici kavramları 5. Hafta Leksikal analiz 6. Hafta Sentaks analizi 7. Hafta Backus Naur formu 8. Hafta Ara Sınav 9. Hafta Lambda Aritmetiği-1 10. Hafta Lambda Aritmetiği-2 11. Hafta İşlevsel programlama 12. Hafta ML-OCAML programlama dilleri 13. Hafta Mantıksal programlama 14. Hafta Prolog programlama dili |
| Dersin Öğrenme Çıktıları |
Bu dersi başarıyla tamamlayan öğrenci aşağıdaki konularda yeterliliğe sahip olacaktır: 1. Farklı veri tipleri için programlama dilleri kapsamubda uygun derleyici mimarilerini önerebilir. 2. Leksikal,sentaks ve semantik gösterim için analiz yeteneği kazanmıştır. 3. Lamda aritmetiği için uygulanabilecek yaklaşımları sıralayabilir.· 4. Mantıksal ve biçimsel gösterimine ilişkin problemlerin çözümünde farklı yaklaşımlar geliştirebilir. |
| Öğretim Yöntemleri | |
| Kaynaklar |
1- Lee, Kent D - Foundations of programming languages-Springer International Publishing (2018) 2- Robert Harper Practical Foundations for Programming Languages (Second Edition) - Cambridge University Press, 2016. |
Teori Konu Başlıkları
| Hafta | Konu Başlıkları |
|---|
Uygulama Konu Başlıkları
| Hafta | Konu Başlıkları |
|---|
Başarı Notuna Etki Oranları
| Sayı | Katkı Payı | |
|---|---|---|
| Toplam | 0 | 0 |
Yarıyıl İçi Çalışmaları
| Sayı | Katkı Payı | |
|---|---|---|
| Toplam | 0 | 0 |
| Numara | Program Yeterlilikleri | Puan | ||||
|---|---|---|---|---|---|---|
| 1 | 2 | 3 | 4 | 5 | ||
| Etkinlikler | Sayı | Süre | Toplam İş Yükü |
|---|---|---|---|
| Toplam İş Yükü | 0 | ||
| Toplam İş Yükü / 25 | 0.00 | ||
| Dersin AKTS Kredisi | 0 | ||