Přednáška 11
Využití SAT řešiče při rozhodování obecných teorií,…
Rozhodovací procedury a verifikace [NAIL094]
UK v Praze
PDF (1019.4 kB)
11. 12. 2011
Přednáška 10
Kombinování logických teorií, Nelson-Oppenova metoda,…
Rozhodovací procedury a verifikace [NAIL094]
UK v Praze
PDF (864.82 kB)
11. 12. 2011
Přednáška 9
Ukazatelové struktury, rozhodovací procedury pro ukazatele,…
Rozhodovací procedury a verifikace [NAIL094]
UK v Praze
PDF (918.35 kB)
11. 12. 2011
Přednáška 8
Logika pro pole, logika pro ukazatele, model paměti,…
Rozhodovací procedury a verifikace [NAIL094]
UK v Praze
PDF (934.33 kB)
11. 12. 2011
Přednáška 7
Konstrukce struktur pro logiku s rovností, ekonomická…
Rozhodovací procedury a verifikace [NAIL094]
UK v Praze
PDF (1000.73 kB)
11. 12. 2011
Přednáška 6
Bitové vektory, pevná desetinná čárka
Rozhodovací procedury a verifikace [NAIL094]
UK v Praze
PDF (1019.54 kB)
11. 12. 2011
Přednáška 5
Logika s rovností a neinterpretovanými funkcemi, redukce…
Rozhodovací procedury a verifikace [NAIL094]
UK v Praze
PDF (1 MB)
11. 12. 2011
Přednáška 4
Lineární aritmetika, obecný simplex, metoda větví a…
Rozhodovací procedury a verifikace [NAIL094]
UK v Praze
PDF (1001.49 kB)
11. 12. 2011