Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
1 beğenilme 0 beğenilmeme
696 kez görüntülendi
Birinci mertebeden mantik icin (first order logic ) Backus-Naur formunda bir grammer verin.
Teorik Bilgisayar Bilimi kategorisinde (1.6k puan) tarafından  | 696 kez görüntülendi
Bunun mantığı nedir tam olarak,derleyici mantığı gibi geldi bana,tam emin olmamakla beraber.
Evet derleyicilerin oge ayristirma kismi (lexer/parser) programlama dillerinin grammerlerinden yola cikilarak yazilir. Grammerler dillerde gecerli olan cumleleri betimler. Birinci dereceden mantik matematik yapmak icin kullanabilecegimiz bir dil en nihayetinde. Bu dilde gecerli olan cumleleri betimlemek ilginc geldi :). Grammerden sonra bu grammerin semantik yorumu uzerine dusunebiliriz. Belki hilbert tarzi tumdengelimci "ispat" yapabilen programlar yazabiliriz. Bir de asagida verdigim grammerden emin degilim biri duzeltir diye umuyorum
bu işin teorik kısmını bilmediğimden pek anlayamadım.ama çok farklı gelmesi benim açımdan ilgi çekici oldu :)

1 cevap

0 beğenilme 0 beğenilmeme
$ \begin{align}  \text{Formul} \quad :& \quad\text{BasitFormul} \quad \\ |& \quad \lnot \text{Formul} \\ |&\quad \text{Formul} \quad \text{Baglac} \quad \text{Formul}  \\ |& \quad \text{Niceleyici} \quad \text{Degisken} \quad \text{Formul}\\ & \\ \text{BasitFormul} :& \quad \text{Oncul}(\text{TerimListesi}) \\ & \\ \text{Terim} :& \quad \text{Fonksiyon}(\text{TerimListesi}) \\ |&\quad \text{Sabit} \\ |& \quad \text{Degisken}\\ & \\ \text{TerimListesi}:& \quad \text{Terim} \\ |& \quad \text{Terim , TerimListesi} \\&\\\text{Baglac} :& \quad \land \\ |& \quad \lor \\|& \quad \Leftrightarrow \\ |& \quad \Rightarrow \\ & \\ \text{Niceleyici} :& \quad \forall \\ |& \quad \exists \\&\\ \text{Sabit} :& \quad \text{degisken oncul yada fonksiyon olarak kullanilmayan her sozcuk} \\&\\ \text{Degisken} :& \quad \text{sabit oncul yada fonksiyon olarak kullanilmayan her sozcuk} \\&\\ \text{Oncul} :& \quad \text{degisken sabit yada fonksiyon olarak kullanilmayan her sozcuk} \\&\\ \text{Fonksiyon} :& \quad \text{degisken sabit yada oncul olarak kullanilmayan her sozcuk}\end{align}$
(1.6k puan) tarafından 
tarafından düzenlendi
Birinci mertebeden mantikta verilen cumleyi ogelerine ayiran bir program yazin
turkce terimleri yanlis yazmis olabilirim. Duzeltirseniz sevinirim :)
20,200 soru
21,726 cevap
73,275 yorum
1,887,800 kullanıcı