Pisemka Gregor 27.10.2011
Napsal: 28. 10. 2011 14:04
1) Vysvetlete, jak ziskat z formule libovolnou jeji variantu. (chtelo to hlavne napsat ty 2 podminky - substituovatelnost podformule, zadny volny vyskyt nove variovane promenne)
2) V algebre urcete hodnotu pro term a ohodnoceni . (vysledek: )
3) Mejme strukturu , kde je konstantni symbol a pro . Prave kolik ma tato struktura podstruktur? (prave 1; musi mit stejnou; pak tam stejnak musi byt kazde , neb a na operaci musi byt podstruktura uzavrena. Jedina podstruktura muze tedy byt pouze opet ona struktura samotna.)
2) V algebre urcete hodnotu pro term a ohodnoceni . (vysledek: )
3) Mejme strukturu , kde je konstantni symbol a pro . Prave kolik ma tato struktura podstruktur? (prave 1; musi mit stejnou; pak tam stejnak musi byt kazde , neb a na operaci musi byt podstruktura uzavrena. Jedina podstruktura muze tedy byt pouze opet ona struktura samotna.)