Other formats:
BibTeX
LaTeX
RIS
@book{1311263, author = {Raclavský, Jiří}, address = {Brno}, edition = {1. vyd.}, keywords = {predicate logic; first-order logic; quantifiers; argument validity; entailment; deduction}, language = {cze}, location = {Brno}, isbn = {978-80-210-7867-3}, publisher = {Masarykova univerzita}, title = {Úvod do logiky: klasická predikátová logika}, url = {https://munispace.muni.cz/book?id=764}, year = {2015} }
TY - BOOK ID - 1311263 AU - Raclavský, Jiří PY - 2015 TI - Úvod do logiky: klasická predikátová logika VL - Neuveden PB - Masarykova univerzita CY - Brno SN - 9788021078673 KW - predicate logic KW - first-order logic KW - quantifiers KW - argument validity KW - entailment KW - deduction UR - https://munispace.muni.cz/book?id=764 N2 - Kniha Úvod do logiky: klasická predikátová logika je druhou čá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é predikátové 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á predikátová logika ([Introduction to Logic: Classical Predicate Logic)}. 1. vyd. Brno: Masarykova univerzita, 2015, 348 pp. ISBN~978-80-210-7867-3.
|