Публикации по теме 'automated-deduction'


Физика, доказательство и аквакультура… Что у них общего?
Начиная с 19 века, благодаря работам Фурье, физики использовали анализ размерностей для проверки правильности своих математических рассуждений. Основная идея состоит в том, что вы можете добавлять подобное только к подобному, поэтому вы можете добавить количество килограммов к другому количеству килограммов (или граммов), чтобы получить в сумме новое количество килограммов. Однако не имеет смысла добавлять количество метров в кубе (объем) к количеству килограммов (масса)! Вот пример..