Переписка Карри-Ховарда
Переписка Карри и Говарда Основы соответствия Карри-Говарда Соответствие Карри-Говарда связывает логические формулы с типами и доказательствами в лямбда-исчислении. Оно позволяет […]
Вики
1969 in computing
Вики
Переписка Карри-Ховарда
Переписка Карри и Говарда Основы соответствия Карри-Говарда Соответствие Карри-Говарда связывает логические формулы с типами и доказательствами в лямбда-исчислении. Оно позволяет
Вики
Реляционная модель
Реляционная модель Определение реляционной базы данных Реляционная база данных — это система, которая хранит данные в таблицах, связанных между собой
Вики
Логика Хоара
Логика Хоара Логика Хоара — формальная система для обоснования корректности компьютерных программ. Предложена Тони Хором в 1969 году и доработана