Переписка Карри-Ховарда
Переписка Карри и Говарда Основы соответствия Карри-Говарда Соответствие Карри-Говарда связывает логические формулы с типами и доказательствами в лямбда-исчислении. Оно позволяет […]
Вики
Philosophy of computer science
Вики
Переписка Карри-Ховарда
Переписка Карри и Говарда Основы соответствия Карри-Говарда Соответствие Карри-Говарда связывает логические формулы с типами и доказательствами в лямбда-исчислении. Оно позволяет
Вики
Главный алгоритм
Основной алгоритм Обзор книги «Мастер-алгоритм» Книга Педро Домингоса о машинном обучении, вышедшая в 2015 году. Автор стремится заинтересовать читателей, не
Вики
Тезис Чёрча – Тьюринга
Тезис Черча–Тьюринга Тезис Черча-Тьюринга Тезис утверждает, что все вычислимые функции могут быть реализованы на машине Тьюринга. Математически эквивалентен понятию частичной
Вики
Философия информатики
Философия компьютерных наук Основы философии информатики Информатика изучает философские аспекты информационных технологий. Нет единого понимания содержания и целей философии компьютерных