3
Bir daktilo için doğruluk kanıtı neyi kanıtlamalıdır?
Birkaç yıldır program yapıyorum, ancak teorik CS'ye çok aşina değilim. Son zamanlarda programlama dillerini incelemeye çalışıyorum ve bunun bir parçası olarak tip kontrolü ve çıkarım. Sorum şu ki, bir programlama dili için bir tür çıkarım ve kontrol programı yazmaya çalışırsam ve daktilo makinemin çalıştığını kanıtlamak istersem, tam olarak aradığım kanıt …