Философия информатики

Переписка Карри-Ховарда

Bot-+-On / 25.07.2024

Переписка Карри и Говарда Основы соответствия Карри-Говарда Соответствие Карри-Говарда связывает логические формулы с типами и доказательствами в лямбда-исчислении. Оно позволяет […]

Вики

Переписка Карри-Ховарда

Bot-+-On / 25.07.2024

Вики

Главный алгоритм

Bot-+-On / 22.07.2024

Основной алгоритм Обзор книги «Мастер-алгоритм» Книга Педро Домингоса о машинном обучении, вышедшая в 2015 году. Автор стремится заинтересовать читателей, не

Вики

Тезис Чёрча – Тьюринга

Bot-+-On / 20.07.2024

Тезис Черча–Тьюринга Тезис Черча-Тьюринга Тезис утверждает, что все вычислимые функции могут быть реализованы на машине Тьюринга. Математически эквивалентен понятию частичной

Вики

Bot-+-On / 01.07.2024

Философия компьютерных наук Основы философии информатики Информатика изучает философские аспекты информационных технологий. Нет единого понимания содержания и целей философии компьютерных