Математики с давних времён пытались решить задачу о пасущейся козе, привязанной к изгороди. Но до настоящего времени они могли предложить только приблизительные решения. Вот вам простая на первый взгляд задачка. Представьте себе изгородь в форме окружности, с точно известной…
Привет! Хочу поделиться своим опытом применения Jira easyBI. Расскажу на примере точечной диаграммы, но также просто можно построить любой отчет в виде произвольной таблицы, Ганта и пр., а после собрать свой дашборд под решение конкретной задачи. Совсем недавно в SM Lab я занималась…
В Дагестане в ходе окотной кампании этого года получено более 1 млн 600 тысяч ягнят, сообщили РИА «Дагестан» в Управлении животноводства Минсельхозпрода РД. Это более 70 процентов от намеченных показателей этого года. По оперативным данным Управления, выход составил около 100 ягнят
На мой взгляд, в русскоязычном секторе интернета тематика формальной верификации освещена недостаточно, и особенно не хватает простых и наглядных примеров. Я приведу такой пример из зарубежного источника, и дополню собственным решением известной задачи о переправе волка, козы