| Fonksiyonel programlamanın temel ilkelerini açıklar ve diğer programlama paradigmalarından farklarını tanımlar. |
5 |
4 |
4 |
4 |
|
|
|
|
|
|
|
|
|
|
|
| Lambda kalkülüsün sözdizimini, serbest ve bağlı değişken kavramlarını açıklar; β-indirgeme sürecini uygular. |
5 |
4 |
4 |
4 |
|
|
|
|
|
|
|
|
|
|
|
| Hesaplama süreçlerini lambda kalkülüs ile ifade eder; fonksiyonel ifadelerin dönüşümlerini gerçekleştirir. |
5 |
4 |
5 |
4 |
|
|
|
|
|
|
|
|
|
|
|
| Tip sistemlerini tanımlar; basit tipli lambda kalkülüs üzerinde tip çıkarımı yapar. |
4 |
4 |
4 |
3 |
|
|
|
|
|
|
|
|
|
|
|
| Sabit nokta fonksiyonları ve tekrarlamalı fonksiyon yapıları üzerinden yinelemeli hesaplamaları formal biçimde ifade eder. |
4 |
3 |
4 |
3 |
|
|
|
|
|
|
|
|
|
|
|
| Church-Rosser Teoremi’nin tanımını yapar; lambda kalkülüsün tutarlılığı ve indirgeme özelliklerini yorumlar. |
5 |
3 |
4 |
4 |
|
|
|
|
|
|
|
|
|
|
|
| Doğal sayı sistemini lambda kalkülüs içinde tanımlar ve ispat sistemlerine entegre eder. |
4 |
3 |
4 |
3 |
|
|
|
|
|
|
|
|
|
|
|
| Bilgisayar dilindeki operatör ve kontrol yapılarının fonksiyonel tanımlarını yapar. |
4 |
3 |
4 |
3 |
|
|
|
|
|
|
|
|
|
|
|
| Tümevarım yöntemini fonksiyonel bağlamda formel olarak ifade eder ve ispatlarda kullanır. |
3 |
3 |
3 |
3 |
|
|
|
|
|
|
|
|
|
|
|
| Fonksiyonel programlama ve lambda kalkülüs bilgisiyle Lean gibi bir ispat asistanı kullanarak doğrulama sürecini yürütür; seçilmiş bir problemi fonksiyonel yaklaşımla modelleyip, sistematik biçimde çözümler ve sunar. |
5 |
5 |
5 |
5 |
|
|
|
|
|
|
|
|
|
|
|
