Pertanyaan yang diberi tag «formal-modeling»

Kompleksitas awalan Kolmogorov (yaitu adalah ukuran program pembatasan-diri minimal yang menghasilkan x ) memiliki beberapa fitur bagus:K(x)K(x)K(x)xxx Ini sesuai dengan intuisi memberikan string dengan patters atau struktur kompleksitas yang lebih rendah daripada string tanpa. Hal ini memungkinkan kita untuk mendefinisikan kondisional kompleksitas , atau bahkan lebih baik K ( x …

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

Bisakah Anda membuat model siaran yang andal di pi-kalkulus? Jika demikian: Bagaimana? Jika tidak: Apakah ada aljabar proses serupa di mana Anda bisa? Apa yang saya coba: Jika pengirim ingin mengirim pesan y ke semua P 1 ke P n , Anda bisa menulis ! ( ¯ x y ) …

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

Saya menemukan sistem transisi berlabel menjadi model yang baik untuk aplikasi saya, yaitu ada makalah tentang pemodelan menggunakan kasus menggunakan LTS. Pertanyaannya adalah, apa yang bisa dengan mudah dibuktikan tentang LTS? Saya ingin menggunakan kembali solusi yang ada untuk melihat apakah mereka berguna untuk aplikasi saya. Saya ingin mengetahui sifat-sifat …

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

Saya memiliki sebuah buku, yang diilhami oleh Principia Mathematica (PM) Russell dan positivisme logis, berupaya memformalkan domain tertentu dengan menentukan aksioma dan menyimpulkan teorema dari mereka. Singkatnya, ia mencoba melakukan untuk domainnya apa yang PM coba lakukan untuk matematika. Seperti PM, itu ditulis sebelum pembuktian teorema otomatis (ATP) dimungkinkan. Saya …

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

Saya menerjemahkan buku tentang LISP dan secara alami menyentuh beberapa elemen -kalkulus. Jadi, gagasan ekstensionalitas disebutkan di sana bersama beberapa model λ- kalkulus, yaitu: P ω dan D ∞ (ya, dengan tak terhingga di atas). Dan dikatakan bahwa P ω adalah ekstensional sedangkan D ∞ tidak.λλ\lambdaλλ\lambdaPωPω\mathcal{P}_\omegaD∞D∞D^\inftyPωPω\mathcal{P}_\omegaD∞D∞D^\infty Tapi ... saya melihat …

11 lo.logic  lambda-calculus  formal-modeling  extensionality 

Saya mencari contoh masalah sulit (dalam NP atau lebih keras) dari ilmu komputer yang dapat direduksi menjadi model proses fisik. Misalnya, maks-2-sat dapat dikurangi menjadi minimalisasi energi dalam model Ising. Saya ingin menemukan lebih banyak contoh pengurangan jenis ini.

10 cc.complexity-theory  reductions  physics  formal-modeling 

Ini adalah pertanyaan yang saya ajukan di forum SE matematika, dan saya dirujuk di sini. Jadi di sini adalah pertanyaan- Saya seorang pemula di kedua matematika formal dan ilmu komputer teoretis, jadi silakan bersamaku jika Anda menemukan pertanyaan saya tidak dibingkai dengan benar. Pemodelan Berorientasi Objek tampaknya sangat berguna dalam …

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