Priklad

Výroková logika, normální tvary formulí, predikátová logika, věty o úplnosti výrokové a predikátové logiky, prenexní tvary formulí, modely teorií 1. řádu. Meze formální metody, Gödelovy věty.

Priklad

Příspěvekod umpalumpa » 28. 2. 2011 11:10

Dobry den,resim ukol na logiku:Urcete vsechny neekvivalentni kompletni jednoduche extenze teorie nekonecnych vektorovych prostoru nad telesem F.
Mohl by mi prosim nekdo pomoc aspon s nastrelem resenim,sem uz zoufaly :( .
umpalumpa
 

Re: Priklad

Příspěvekod tomm » 28. 2. 2011 22:02

Podle tabulky na str.62 z Mlčkových skript žádné takové extenze nemá. Ale neber mě za slovo...
tomm
 

Re: Priklad

Příspěvekod Krakonoš » 3. 3. 2011 08:12

Ahoj,

jeden by řekl, že když je teorie nek. VP_F kompletní, tak nebude mít žádnou nespornou extenzi (a sporné se podle mě neuvažují jako jednoduché, resp. se neuvažují dokud o nich neřeknem že se uvažují). Není to tak? To odpovídá tomu, že podle tabulky extenzi nemá.
Krakonoš
Matfyz(ák|ačka) level I
 
Příspěvky: 14
Registrován: 29. 1. 2009 11:31
Typ studia: Informatika Mgr.
Login do SIS: 84250710

Re: Priklad

Příspěvekod umpalumpa » 4. 3. 2011 19:49

Dekuji vam za odpovedi,z kompletnosti teorie to je uz jasny,diky moc :)
umpalumpa
 


Zpět na AIL062 Výroková a predikátová logika

Kdo je online

Uživatelé procházející toto fórum: Žádní registrovaní uživatelé a 1 návštěvník

cron