transitivity

1зной

1ответ

Транзитные зависимости в плагинах maven

Являются ли зависимости в плагинах Maven предполагаемыми для разрешения их транзитивных зависимостей или их нужно вручную добавлять в зависимости от плагина?

dependencies maven-plugin transitivity 2010-01-10

---

2зной

1ответ

Используя coq, пытаясь доказать простую лемму о деревьях

Попытка доказать правильность функции вставки элементов в bst Я застрял, пытаясь доказать кажущуюся тривиальную лемму. Моя попытка до сих пор: Inductive tree : Set := | leaf : tree | node : tree ->

proof coq transitivity 2012-06-26

---

1зной

4ответ

Являются ли доверительные отношения с Active Directory транзитивными?

Я работаю над проблемами при разработке разрабатываемого приложения, которое использует информацию из Active Directory в многоуровневой среде, и у меня есть текущая проблема, чтобы выяснить, являются

active-directory trust transitivity 2008-10-28

---

0зной

2ответ

переходные рельсы ассоциации и магический граф

В Rails, автоматически рассчитывать ассоциации, вы делаете: class Script has_many :chapters end class Chapter belongs_to :script end и добавить столбец chapters_count в модель сценария.

ruby-on-rails associations counter transitivity 2009-12-02

---

3зной

1ответ

Почему слово теряет точность и как оно влияет на транзитивность равенства?

Я начинаю с определением большого числа n: Prelude> let n = 5705979550618670446308578858542675373983 Prelude> n :: Integer 5705979550618670446308578858542675373983 Затем я посмотрел на поведении s

haskell equality ghci floor transitivity 2013-08-14

---

0зной

1ответ

Пролог впадая в бесконечный цикл

Я пытаюсь определить правило «друг моего друга мой друг» в прологе, и у меня есть следующий код: friends(john,jake). friends(mike,hans). friends(hans,robert). friends(robert,angela). mutual_frien

loops recursion prolog infinite transitivity 2013-05-12

---