CENG 516
İleri Programlama Dilleri
Yeni programlama dilleri tasarlamak ve geliştirmek, modern programlama dillerinin var olan özelliklerini incelemek ve kavramak, programlama dili tasarım kararlarının gerçekleştirimler üzerindeki etkisini anlamak.
| Konu |
| Programlama dillerine giriş |
| Sentaks ve semantik I |
| Sentaks ve semantik II |
| Gösterimsel semantik |
| Yazım teorisi I |
| Yazım teorisi II |
| Lambda hesaplama I |
| Lambda hesaplama II |
| Fonksiyonlar |
| Aksiyomatik semantik I |
| Aksiyomatik semantik II |
| Program özelliklerini teorik söylemlerle doğrulama |
| Mantık programlama I |
| Mantık programlama II |
Diğer Doktora Dersleri
- CENG 501
- CENG 502
- CENG 503
- CENG 504
- CENG 505
- CENG 506
- CENG 507
- CENG 508
- CENG 509
- CENG 511
- CENG 512
- CENG 513
- CENG 514
- CENG 515
- CENG 517
- CENG 518
- CENG 521
- CENG 522
- CENG 523
- CENG 524
- CENG 525
- CENG 531
- CENG 532
- CENG 533
- CENG 534
- CENG 541
- CENG 542
- CENG 543
- CENG 544
- CENG 551
- CENG 552
- CENG 555
- CENG 556
- CENG 557
- CENG 561
- CENG 562
- CENG 563
- CENG 564
- CENG 565
- CENG 566
- CENG 600
- CENG 608
- CENG 611
- CENG 612
- CENG 613
- CENG 631
- CENG 632
- CENG 641
- CENG 642
- CENG 643
- CENG 651
- CENG 661
- CENG 662
- CENG 663
- CENG 690