Další formáty:
BibTeX
LaTeX
RIS
@book{1311262, author = {Raclavský, Jiří}, address = {Brno}, edition = {1. vyd.}, keywords = {propositional logic; logical connectives; argument validity; entailment; deduction}, language = {cze}, location = {Brno}, isbn = {978-80-210-7790-4}, publisher = {Masarykova univerzita}, title = {Úvod do logiky: klasická výroková logika}, url = {https://munispace.muni.cz/book?id=762}, year = {2015} }
TY - BOOK ID - 1311262 AU - Raclavský, Jiří PY - 2015 TI - Úvod do logiky: klasická výroková logika VL - Neuveden PB - Masarykova univerzita CY - Brno SN - 9788021077904 KW - propositional logic KW - logical connectives KW - argument validity KW - entailment KW - deduction UR - https://munispace.muni.cz/book?id=762 N2 - Kniha "Úvod do logiky: klasická výroková logika" je první částí vícedílného úvodu do logiky, jenž je zaměřen především na humanitní a společenskovědní publikum a další zájemce o logiku. Kromě důležitých poznatků o klasické výrokové logice jako takové je čtenář postupně seznamován jednak s metodami prošetřování sémantických vlastností formulí a metodami formálního dokazování, jednak s aplikacemi tohoto na oblast přirozeného jazyka. V knize najde čtenář rovněž řadu praktických cvičení, v nichž se kromě formálních postupů naučí zejména pohotově budovat ekvivalenty či negace vět a ověřovat platnost úsudků. ER -
RACLAVSKÝ, Jiří. \textit{Úvod do logiky: klasická výroková logika}. 1. vyd. Brno: Masarykova univerzita, 2015, 238 s. ISBN~978-80-210-7790-4.
|