Я не уверен, что вы можете доказать это из какой-либо полезной аксиомы, кроме довольно тривиальной редукции назад, к тому факту, что мы определили отрицательные числа в современных целочисленных ALU, чтобы быть в двойном дополнении.
Компьютеры не имеют , которые должны быть реализованы с помощью двухкомпонентного бинарного оборудования, это просто, что есть различные привлекательные свойства, и почти все построено таким образом в наши дни. (Но не с плавающей точкой! Это дополнение!) [/ G2]
Итак, мы строим машину, которая, как представляется, представляет отрицательные числа в дополнении 2. Выражения, которые показывают отрицательные числа, которые должны быть представлены в дополнении двух, точны, но только потому, что мы определили их таким образом. Это аксиоматическая основа для отрицательных целых чисел в современных машинах.
Поскольку мы определяем отрицание в терминах дополнения двух, вы в основном ссылаетесь на аксиомы, хотя я полагаю, что это то, что в конечном итоге делают все доказательства.
Возможно, именно поэтому я не действительно, парень теории. : -)
Вы можете использовать ViewModelLocator , чтобы связать DataContext
вида с экземпляром вашей модели вида:
PlayerListView.xaml.cs: [ 115]
public partial class PlayerListView : UserControl
{
public PlayerListView()
{
InitializeComponent();
}
}
PlayerListView.xaml:
<UserControl ... prism:ViewModelLocator.AutoWireViewModel="True" />
Использование агрегатора событий должно быть реализовано в модели представления, а не в представлении.