Рубрика

Название:

 

різноманітні моделі обчислень  

Название:

 

машини Тюрінга та задачі, пов'язані з ними  

Название:

 

лямбда-числення та комбінаторна логіка  

Название:

 

автомати та їх логічні застосування  

Название:

 

математичні моделі обчислювальних процесів