«formal-modeling» etiketlenmiş sorular

Kolmogorov ön ek karmaşıklığı (yani , çıktısını alan minimum kendiliğinden sınırlayan programın boyutudur ) birkaç hoş özelliğe sahiptir:K(x)K(x)K(x)xxx Bu, yamalı olan ya da olmayan dizelere göre daha düşük bir karmaşıklığa sahip olan dizeleri verme sezgisine karşılık gelir. Bazı oracle için koşullu karmaşıklığı , hatta daha iyi tanımlamamızı sağlar .K(x|y)K(x|y)K(x|y)K(x|O)K(x|O)K(x|O)OOO Alt …

28 it.information-theory  kolmogorov-complexity  formal-modeling 

Pi-hesabında güvenilir yayınları modelleyebilir misiniz? Öyleyse nasıl? Değilse: Yapabileceğiniz benzer işlem cebirleri var mı? Ne denedim: Gönderen Eğer bir mesaj göndermek isteyen herkese için , yazabilirsiniz ! ( ve için . Ancak nin defa kopyalandığını , yani hiçbir iletinin kaybolmadığını nasıl garanti edersiniz? Bilmiyorum peşin. İlgili tüm işlemler arasında ileri …

16 pl.programming-languages  formal-modeling  process-algebra  pi-calculus 

Etiketli geçiş sistemlerinin uygulamam için iyi bir model olduğunu gördüm, yani LTS kullanan kullanım örneklerini modelleme hakkında bir makale var. Soru şu ki, LTS'ler hakkında kolayca kanıtlanabilir mi? Uygulamam için yararlı olup olmadıklarını görmek için mevcut çözümleri yeniden kullanmak istiyorum. LTS'lerin (ve kullanım durumlarının) hangi özelliklerinin kolayca otomatik olarak kanıtlanabileceğini …

13 lo.logic  formal-modeling  model-checking  program-verification  automated-theorem-proving 

Russell'ın Principia Mathematica (PM) ve mantıksal pozitivizmden esinlenerek, aksiyomları belirleyerek ve bunlardan teoremleri çıkararak belirli bir alanı resmileştirmeye çalışan bir kitabım var. Kısacası, PM'nin matematik için ne yapmaya çalıştığını kendi alanı için yapmaya çalışır. PM gibi, otomatik teorem kanıtlama (ATP) mümkün olmadan önce yazılmıştır. Bu aksiyomları modern bir ATP sisteminde …

11 lo.logic  type-theory  formal-modeling  automated-theorem-proving  bioinformatics 

LISP üzerine bir kitap çeviriyorum ve doğal olarak -calculus'un bazı unsurlarına dokunuyor. Bu nedenle, bazı -calculus modellerinin yanı sıra uzatma kavramından bahsedilmektedir : ve (evet, sonsuzluk üstte). Ve söz konusu olduğu isimli yayma ise değildir.λ P ω D ∞ P ω D ∞λλ\lambdaλλ\lambdaPωPω\mathcal{P}_\omegaD∞D∞D^\inftyPωPω\mathcal{P}_\omegaD∞D∞D^\infty Ama ... Barendregt'in Lambda Kalkülüsüne bakıyordum , …

11 lo.logic  lambda-calculus  formal-modeling  extensionality 

Fiziksel süreç modellerine indirgenebilecek bilgisayar bilimlerindeki zor problemlere (NP veya daha zor) örnekler arıyorum. Örneğin, bir Ising modelinde max-2-sat enerji minimizasyonuna indirgenebilir. Bu tür indirgeme ile ilgili daha fazla örnek bulmak istiyorum.

10 cc.complexity-theory  reductions  physics  formal-modeling 

Bu, matematik SE forumunda sorduğum bir soru ve burada yönlendirildim. İşte soru- Hem resmi matematikte hem de teorik bilgisayar bilimlerinde yeniyim, bu yüzden sorumun doğru çerçevelenmediğini fark ederseniz lütfen yanımda olun. Nesneye Dayalı Modelleme, gerçek dünyayı simüle ederken karmaşık etkileşimlerin tanımlanmasında çok yararlı görünmektedir. Ancak daha çok programlamada kullanılır. Matematikte …

9 pl.programming-languages  semantics  formal-modeling  set-theory  object-oriented