.

0 (hodnocen0 x )

(1) Půjčeno:1x 

BK

Vyd. 1.

Plzeň : Vydavatelství Západočeské univerzity v Plzni, 2009

121 s. ; 21 cm

ISBN 978-80-7043-864-0 (brož.)

Obálkový podnázev: elektronická databáze příkladů pro výuku logiky na VŠ

Obsahuje bibliografie a rejstřík

Anglické resumé

000200645

Logika a všeobecné vzdělání (Ludmila Dostálová) -- Vytvoření elektronické databáze příkladů (Ludmila Dostálová, Jaroslav Lang) -- Úlohy z výrokové logiky (Ludmila Dostálová, David Pelikán) -- Metodika hodnocení obtížnosti příkladů řešených -- v kalkulu přirozené dedukce a obecné rezoluční metody -- (Martina Číhalová, Marek Menšík) -- Interpretace logických formulí v PL1 do přirozeného jazyka (Vladimír Jarotek, Marek Menšík, Martina Číhalová) -- Úlohy z aristotelské (pojmové) logiky (Karel Šebela) -- Logika není matematika (Ludmila Dostálová) -- Kategorické výroky a sylogismy z pohledu Tichého TIL -- (Jiří Raclavský) -- Zobecněné kvantifikátory z pohledu TIL (Jiří Raclavský)