first-order-logic

5ısı

2cevap

Tam bir yeni kullanıcı için İlk Sipariş Mantığı (kitap önerileri)?

Sahip olmamam gereken bir sınıfa kaydoldum. Yani şimdi biraz sıkıldım çünkü profesörüm ilk sipariş mantığını açıklarken kullanılan notasyonların hiçbirini anlamıyorum. Tüm bu şeylerin nasıl yeniden öğ

discrete-mathematics first-order-logic 2011-02-01

---

0ısı

1cevap

Alaşım - birinci dereceden mantık ile karşılaştırılması

Alaşımda fonksiyonların eşitliği nasıl karşılaştırılır? Şunlar gibi: --[(All x)(Exists y)[R(x,y)] -- and (All x)(All y)[R(x,y) -> R(y,x)]] -- = -- (All x)[R(x,x)] and assert checkEquality{ (

alloy first-order-logic 2016-04-07

---