About: Logic for all willing to think     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
rdf:type
Description
  • This book is an introduction to mathematical logic intended for high school students and wider public. Main concepts of logic are introduced informally and explained using many examples, puzzles and exercises. The three chapters of the book cover the predicate calculus, the predicate calculus and theorems on completeness of first order logic and incompleteness of arithmetical theories. The text is complemented by a brief description of nonclassical logics and a mention of the history of logic. (en)
  • Tato kniha je úvodem do matematické logiky, určená studentům vyšších ročníků gymnasii a široké veřejnosti. Základní pojmy z logiky jsou zavedeny neformálně a vysvětleny pomocí mnoha příkladů, hádanek a cvičení. Tři kapitoly knihy pokrývají výrokový počet, predikátovou logiku a věty o úplnosti logiky prvního řádu a neúplnosti aritmetických teorií. Text je doplněn stručným popisem neklasických logik a zmínkou o historii logiky.
  • Tato kniha je úvodem do matematické logiky, určená studentům vyšších ročníků gymnasii a široké veřejnosti. Základní pojmy z logiky jsou zavedeny neformálně a vysvětleny pomocí mnoha příkladů, hádanek a cvičení. Tři kapitoly knihy pokrývají výrokový počet, predikátovou logiku a věty o úplnosti logiky prvního řádu a neúplnosti aritmetických teorií. Text je doplněn stručným popisem neklasických logik a zmínkou o historii logiky. (cs)
Title
  • Logic for all willing to think (en)
  • Logika pro všechny ochotné myslet
  • Logika pro všechny ochotné myslet (cs)
skos:prefLabel
  • Logic for all willing to think (en)
  • Logika pro všechny ochotné myslet
  • Logika pro všechny ochotné myslet (cs)
skos:notation
  • RIV/67985840:_____/11:00362933!RIV12-AV0-67985840
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • P(IAA1019401), Z(AV0Z10190503)
http://linked.open...vai/riv/dodaniDat
http://linked.open...aciTvurceVysledku
http://linked.open.../riv/druhVysledku
http://linked.open...iv/duvernostUdaju
http://linked.open...titaPredkladatele
http://linked.open...dnocenehoVysledku
  • 209834
http://linked.open...ai/riv/idVysledku
  • RIV/67985840:_____/11:00362933
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • mathematical logic; propositional calculus; predicate calculus; completeness theorem; incompleteness theorem (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [D9E78C035057]
http://linked.open...i/riv/mistoVydani
  • Praha
http://linked.open...i/riv/nazevZdroje
  • Logika pro všechny ochotné myslet
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...v/pocetStranKnihy
http://linked.open...cetTvurcuVysledku
http://linked.open...vavai/riv/projekt
http://linked.open...UplatneniVysledku
http://linked.open...iv/tvurceVysledku
  • Sochor, Antonín
http://linked.open...n/vavai/riv/zamer
number of pages
http://purl.org/ne...btex#hasPublisher
  • Univerzita Karlova v Praze. Nakladatelství Karolinum
https://schema.org/isbn
  • 978-80-246-1959-0
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 67 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software