Mathematical Logic: Exercises and Solutions
Úvodné kapitoly začínajú problémami z podporných oblastí, ako sú teória množín (konštrukcie ultrafiltrov), teória hier s úplnou informáciou (stratégie), automaty a teória rekurzie (rozhodnuteľnosť, Kleeneho vety).
© Book1 Group - všetky práva vyhradené.
Obsah tejto stránky nesmie byť kopírovaný ani použitý čiastočne alebo v celku bez písomného súhlasu vlastníka.
Posledná úprava: 2024.11.13 22:11 (GMT)