Bir algoritma hakkında okuyorum (A * 'ya dayalı bir yol bulma algoritmasıdır) ve aşina olmadığım matematiksel bir sembol içeriyor: ∀
İşte bağlam:
v (s) ≥ g (s) = min s'∈pred (s) (v (s ') + c (s', s)) ∀s ≠ s başlangıcı
Birisi ∀'nin anlamını açıklayabilir mi?
Yanıtlar:
Bu, Wikipedia'nın matematiksel semboller tablosunda veya Unicode forall karakterinde ( \u2200, ∀) görüldüğü gibi "forall" (tümü için) simgesidir .
Baş aşağı bir semboldür evrensel niceleyici gelen yüklem mantığı . (Ayrıca, birinci dereceden yüklem hesaplamasının daha kapsamlı tartışmasına bakın .) Diğerlerinin de belirttiği gibi, belirtilen iddiaların verilen değişkenin (burada, s ) "tüm durumları için" geçerli olduğu anlamına gelir . Yakında kardeşine, yani varoluşsal niceleyici olan geriye dönük büyük E ile karşılaşacaksınız , yani verilen değişkenden ilgili iddiaya uyan "en az bir tane vardır".
Mantıkla ilgileniyorsanız, CJ Date tarafından yazılan Logic and Databases: The Roots of Relational Theory kitabını okuyabilirsiniz . Bu niceleyicileri ve bunların mantıksal sonuçlarını kapsayan birkaç bölüm vardır. Bu kitabın mantık kapsamından yararlanmak için veri tabanlarıyla çalışmak zorunda değilsiniz.
Matematikte ∀ TÜMÜ İÇİN anlamına gelir.
Unicode karakteri (\ u2200, ∀).
evet, bunlar matematikte kullanılan iyi bilinen niceleyicilerdir. Başka bir örnek, "var" olarak okunan ∃'dir.