CENG 512
İleri Hesaplama Kuramı
Bu ders farklı biçimsel hesaplama modellerini ortaya koyarak başlayacaktır. Sonrasında Church-Turing tezi ele alınacaktır. Ayrıca karar verilebilirlik ve indirgenebilirlik konuları işlenecektir. Son olarak, karmaşıklık ve ilgili kavramlar hakkında ayrıntılı bilgi verilecektir.
| Konu |
| Giriş ve Genel Bakış |
| Matematik Tekrarı |
| Sonlu Otomata ve Düzenli Diller |
| Bağlamdan Bağımsız Diller ve Pushdown Otomata |
| Turing Makineleri ve Church-Turing Tezi |
| Karar Verilebilirlik |
| Gözden Geçirme |
| İndirgenebilirlik |
| Zaman Karmaşıklığı, P ve NP |
| NP-tamlık |
| Gözden Geçirme |
| Yer karmaşıklığı |
| Rastgeleleştirme |
| Paralel karmaşıklık |
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 513
- CENG 514
- CENG 515
- CENG 516
- 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