/Математическая логика, алгоритмы, автоматы/Определимость и вычислимость.djvu

Showing first 1 matched files of 1673 total files

/Глава 7. Теория алгоритмов/7.1 Неформальная вычислимость и машины Тьюринга.mp4

Showing first 1 matched files of 123 total files

/Х. Роджерс. Теория рекурсивных функций и эффективная вычислимость. 1972.djvu

Showing first 1 matched files of 1221 total files

/Роджерс. Теория рекурсивных функций и эффективная вычислимость.djvu

Showing first 1 matched files of 75 total files

/Вычислимость и логика/8.flv

/Вычислимость и логика/11.flv

/Вычислимость и логика/10.flv

/Вычислимость и логика/5.flv

/Вычислимость и логика/9.flv

Showing first 5 matched files of 45 total files

/Булос_Вычислимость и логика.djvu

Showing first 1 matched files of 25 total files

/Математическая логика/Булос Дж., Джеффри Р., Вычислимость и логика.djvu

/Математическая логика/Ершов Ю.Л., Определимость и вычислимость.djvu

/Математическая логика, графы/Метаматематика/Сосинский А.Б., Невычислимость, неразрешимость, недоказуемость.gz

Showing first 3 matched files of 1095 total files

/Буллос и Джеффри_Вычислимость и логика.djvu

Showing first 1 matched files of 25 total files

/grrr/логика/Булос_Вычислимость и логика.djvu

Showing first 1 matched files of 317 total files

/Булос Дж., Джеффри Р. Вычислимость и логика.djvu

Showing first 1 matched files of 410 total files

/Катленд Н. - Вычислимость. Введение в теорию рекурсивных функций. ч.1 (1983).djvu

Showing first 1 matched files of 879 total files

/Булос_Дж.,_Джеффри_Р._Вычислимость_и_логика._1994.djvu

Showing first 1 matched files of 1030 total files

/Булос_Дж.,_Джеффри_Р._Вычислимость_и_логика._1994.djvu

/Ершов_Ю.Л._Определимость_и_вычислимость._1996.djvu

Showing first 2 matched files of 2555 total files

/fiz-mat/логика/Булос_Вычислимость и логика.djvu

Showing first 1 matched files of 344 total files

/spec493/Гуц А.К. Синтетическая вычислимость. (2016)(2 Mb).pdf

/spec493/Ершов Ю.Л., Целищев В.В. Алгоритмы и вычислимость в человеческом познании. (2012)(10 Mb).djvu

Showing first 2 matched files of 755 total files