Adja meg annak a függvénynek az induktív definícióját, amely a nulladrendű nyelv minden formulája esetén megadja a formulában szereplő implikációk (⊃) számát!?
Figyelt kérdés
Tudja esetleg valaki, hogy mi lehet a válasz a fent leírt kérdésre? A válaszokat előre is köszönöm :) .2019. okt. 2. 20:25
1/5 anonim válasza:
Mindig ebbe a rovatba jövök, hogy rájöjjek, hogy milyen buta, tuskó, sutyerák vagyok...
2/5 A kérdező kommentje:
Közben sikerült megoldani.
A válaszok (nulladrendű nyelv esetén):
ha A,B ∈ Form, akkor f((A⊃B)) = 1+f(A)+f(B),
ha A ∈ Con, akkor f(A)=0
2019. okt. 3. 15:08
3/5 anonim válasza:
Megkérdezhetem, hogy milyen szakon és milyen tárgy keretén belül jött elő ez a kérdés?
4/5 A kérdező kommentje:
Mérnök informatikus szakon tanulok és a "Logika és számítástudomány" nevű órán volt ez kérdés.
2019. okt. 6. 12:51
5/5 anonim válasza:
Köszi :) Csak kíváncsi voltam, hol mennek ennyire bele (egy alapozó tárgynál matek szakon volt bevezetés a matematikai logikába, de felületesebben érintették).
Kapcsolódó kérdések:
Minden jog fenntartva © 2024, www.gyakorikerdesek.hu
GYIK | Szabályzat | Jogi nyilatkozat | Adatvédelem | Cookie beállítások | WebMinute Kft. | Facebook | Kapcsolat: info(kukac)gyakorikerdesek.hu
A weboldalon megjelenő anyagok nem minősülnek szerkesztői tartalomnak, előzetes ellenőrzésen nem esnek át, az üzemeltető véleményét nem tükrözik.
Ha kifogással szeretne élni valamely tartalommal kapcsolatban, kérjük jelezze e-mailes elérhetőségünkön!
Ha kifogással szeretne élni valamely tartalommal kapcsolatban, kérjük jelezze e-mailes elérhetőségünkön!