Klassische Logik: Einführung mit interaktiven Übungen
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | German |
| Veröffentlicht: |
Berlin
De Gruyter
2004
|
| Schriftenreihe: | Logos
5 |
| Schlagworte: | |
| Online-Zugang: | DE-824 DE-703 DE-706 Volltext Volltext |
| Beschreibung: | Includes bibliographical references and index Main description: Das Buch vermittelt die Grundlagen der Aussagen- und erweiterten Prädikatenlogik in 12 Lektionen. Neben Techniken zum Überprüfen der Schlüssigkeit von Argumenten bilden die Kunst des Formalisierens wissenschaftlicher Argumente und metalogische Fragen den Inhalt des Buches. Das Buch eignet sich in Verbindung mit begleitenden interaktiven Übungseinheiten und Klausuren, die über Internet zugänglich sind, sowohl zum Selbststudium als auch für Einführungskurse in die Logik. Die zweite überarbeitete Auflage erscheint in einem größeren und besser lesbaren Format |
| Beschreibung: | 1 Online-Ressource (402 S.) |
| ISBN: | 3110323850 9783110323856 9783110324167 9783110324174 |
| DOI: | 10.1515/9783110324167 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042349271 | ||
| 003 | DE-604 | ||
| 005 | 20170308 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150212s2004 xx o|||| 00||| ger d | ||
| 020 | |a 3110323850 |9 3-11-032385-0 | ||
| 020 | |a 9783110323856 |9 978-3-11-032385-6 | ||
| 020 | |a 9783110324167 |9 978-3-11-032416-7 | ||
| 020 | |a 9783110323856 |9 978-3-11-032385-6 | ||
| 020 | |a 9783110324167 |9 978-3-11-032416-7 | ||
| 020 | |a 9783110324174 |9 978-3-11-032417-4 | ||
| 024 | 7 | |a 10.1515/9783110324167 |2 doi | |
| 035 | |a (OCoLC)854569145 | ||
| 035 | |a (DE-599)BVBBV042349271 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-859 |a DE-860 |a DE-473 |a DE-739 |a DE-1046 |a DE-1043 |a DE-858 |a DE-19 |a DE-824 |a DE-703 |a DE-706 | ||
| 082 | 0 | |a 511.3 | |
| 100 | 1 | |a Lampert, Timm |d 1969- |e Verfasser |0 (DE-588)1046392034 |4 aut | |
| 245 | 1 | 0 | |a Klassische Logik |b Einführung mit interaktiven Übungen |
| 264 | 1 | |a Berlin |b De Gruyter |c 2004 | |
| 300 | |a 1 Online-Ressource (402 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Logos |v 5 | |
| 500 | |a Includes bibliographical references and index | ||
| 500 | |a Main description: Das Buch vermittelt die Grundlagen der Aussagen- und erweiterten Prädikatenlogik in 12 Lektionen. Neben Techniken zum Überprüfen der Schlüssigkeit von Argumenten bilden die Kunst des Formalisierens wissenschaftlicher Argumente und metalogische Fragen den Inhalt des Buches. Das Buch eignet sich in Verbindung mit begleitenden interaktiven Übungseinheiten und Klausuren, die über Internet zugänglich sind, sowohl zum Selbststudium als auch für Einführungskurse in die Logik. Die zweite überarbeitete Auflage erscheint in einem größeren und besser lesbaren Format | ||
| 650 | 4 | |a Predicate (Logic) | |
| 650 | 4 | |a Propositional calculus | |
| 650 | 0 | 7 | |a Prädikatenlogik |0 (DE-588)4046974-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Aussagenlogik |0 (DE-588)4136098-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4123623-3 |a Lehrbuch |2 gnd-content | |
| 689 | 0 | 0 | |a Aussagenlogik |0 (DE-588)4136098-9 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 689 | 1 | 0 | |a Prädikatenlogik |0 (DE-588)4046974-8 |D s |
| 689 | 1 | |8 3\p |5 DE-604 | |
| 856 | 4 | 0 | |u https://doi.org/10.1515/9783110324167 |x Verlag |3 Volltext |
| 856 | 4 | 0 | |u http://www.degruyter.com/search?f_0=isbnissn&q_0=9783110324167&searchTitles=true |x Verlag |3 Volltext |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 912 | |a ZDB-23-DGG | ||
| 912 | |a ZDB-23-GBA | ||
| 912 | |a ZDB-23-GPH | ||
| 940 | 1 | |q FKE_PDA_DGG | |
| 940 | 1 | |q FLA_PDA_DGG | |
| 940 | 1 | |q UBG_PDA_DGG | |
| 940 | 1 | |q UPA_PDA_DGG | |
| 940 | 1 | |q FAW_PDA_DGG | |
| 940 | 1 | |q FCO_PDA_DGG | |
| 940 | 1 | |q ZDB-23-GBA_2000/2014 | |
| 940 | 1 | |q ZDB-23-GPH_2000/2014 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027785752 | |
| 966 | e | |u https://doi.org/10.1515/9783110324167 |l DE-824 |p ZDB-23-GPH |q ZDB-23-GPH_2000/2014 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9783110324167 |l DE-703 |p ZDB-23-GPH |q ZDB-23-GPH_2000/2014 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9783110324167 |l DE-706 |p ZDB-23-GBA |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1824508386686795776 |
|---|---|
| adam_text | |
| any_adam_object | |
| author | Lampert, Timm 1969- |
| author_GND | (DE-588)1046392034 |
| author_facet | Lampert, Timm 1969- |
| author_role | aut |
| author_sort | Lampert, Timm 1969- |
| author_variant | t l tl |
| building | Verbundindex |
| bvnumber | BV042349271 |
| collection | ZDB-23-DGG ZDB-23-GBA ZDB-23-GPH |
| ctrlnum | (OCoLC)854569145 (DE-599)BVBBV042349271 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| doi_str_mv | 10.1515/9783110324167 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV042349271</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170308</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150212s2004 xx o|||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3110323850</subfield><subfield code="9">3-11-032385-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783110323856</subfield><subfield code="9">978-3-11-032385-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783110324167</subfield><subfield code="9">978-3-11-032416-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783110323856</subfield><subfield code="9">978-3-11-032385-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783110324167</subfield><subfield code="9">978-3-11-032416-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783110324174</subfield><subfield code="9">978-3-11-032417-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1515/9783110324167</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)854569145</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042349271</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-859</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-1043</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Lampert, Timm</subfield><subfield code="d">1969-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1046392034</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Klassische Logik</subfield><subfield code="b">Einführung mit interaktiven Übungen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">De Gruyter</subfield><subfield code="c">2004</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (402 S.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Logos</subfield><subfield code="v">5</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Main description: Das Buch vermittelt die Grundlagen der Aussagen- und erweiterten Prädikatenlogik in 12 Lektionen. Neben Techniken zum Überprüfen der Schlüssigkeit von Argumenten bilden die Kunst des Formalisierens wissenschaftlicher Argumente und metalogische Fragen den Inhalt des Buches. Das Buch eignet sich in Verbindung mit begleitenden interaktiven Übungseinheiten und Klausuren, die über Internet zugänglich sind, sowohl zum Selbststudium als auch für Einführungskurse in die Logik. Die zweite überarbeitete Auflage erscheint in einem größeren und besser lesbaren Format</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Predicate (Logic)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Propositional calculus</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Aussagenlogik</subfield><subfield code="0">(DE-588)4136098-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4123623-3</subfield><subfield code="a">Lehrbuch</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Aussagenlogik</subfield><subfield code="0">(DE-588)4136098-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1515/9783110324167</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.degruyter.com/search?f_0=isbnissn&q_0=9783110324167&searchTitles=true</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-DGG</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-GBA</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-GPH</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FKE_PDA_DGG</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FLA_PDA_DGG</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">UBG_PDA_DGG</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">UPA_PDA_DGG</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FAW_PDA_DGG</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FCO_PDA_DGG</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-23-GBA_2000/2014</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-23-GPH_2000/2014</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027785752</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9783110324167</subfield><subfield code="l">DE-824</subfield><subfield code="p">ZDB-23-GPH</subfield><subfield code="q">ZDB-23-GPH_2000/2014</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9783110324167</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-23-GPH</subfield><subfield code="q">ZDB-23-GPH_2000/2014</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9783110324167</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-23-GBA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4123623-3 Lehrbuch gnd-content |
| genre_facet | Lehrbuch |
| id | DE-604.BV042349271 |
| illustrated | Not Illustrated |
| indexdate | 2025-02-19T17:39:48Z |
| institution | BVB |
| isbn | 3110323850 9783110323856 9783110324167 9783110324174 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027785752 |
| oclc_num | 854569145 |
| open_access_boolean | |
| owner | DE-859 DE-860 DE-473 DE-BY-UBG DE-739 DE-1046 DE-1043 DE-858 DE-19 DE-BY-UBM DE-824 DE-703 DE-706 |
| owner_facet | DE-859 DE-860 DE-473 DE-BY-UBG DE-739 DE-1046 DE-1043 DE-858 DE-19 DE-BY-UBM DE-824 DE-703 DE-706 |
| physical | 1 Online-Ressource (402 S.) |
| psigel | ZDB-23-DGG ZDB-23-GBA ZDB-23-GPH FKE_PDA_DGG FLA_PDA_DGG UBG_PDA_DGG UPA_PDA_DGG FAW_PDA_DGG FCO_PDA_DGG ZDB-23-GBA_2000/2014 ZDB-23-GPH_2000/2014 ZDB-23-GPH ZDB-23-GPH_2000/2014 |
| publishDate | 2004 |
| publishDateSearch | 2004 |
| publishDateSort | 2004 |
| publisher | De Gruyter |
| record_format | marc |
| series2 | Logos |
| spelling | Lampert, Timm 1969- Verfasser (DE-588)1046392034 aut Klassische Logik Einführung mit interaktiven Übungen Berlin De Gruyter 2004 1 Online-Ressource (402 S.) txt rdacontent c rdamedia cr rdacarrier Logos 5 Includes bibliographical references and index Main description: Das Buch vermittelt die Grundlagen der Aussagen- und erweiterten Prädikatenlogik in 12 Lektionen. Neben Techniken zum Überprüfen der Schlüssigkeit von Argumenten bilden die Kunst des Formalisierens wissenschaftlicher Argumente und metalogische Fragen den Inhalt des Buches. Das Buch eignet sich in Verbindung mit begleitenden interaktiven Übungseinheiten und Klausuren, die über Internet zugänglich sind, sowohl zum Selbststudium als auch für Einführungskurse in die Logik. Die zweite überarbeitete Auflage erscheint in einem größeren und besser lesbaren Format Predicate (Logic) Propositional calculus Prädikatenlogik (DE-588)4046974-8 gnd rswk-swf Aussagenlogik (DE-588)4136098-9 gnd rswk-swf 1\p (DE-588)4123623-3 Lehrbuch gnd-content Aussagenlogik (DE-588)4136098-9 s 2\p DE-604 Prädikatenlogik (DE-588)4046974-8 s 3\p DE-604 https://doi.org/10.1515/9783110324167 Verlag Volltext http://www.degruyter.com/search?f_0=isbnissn&q_0=9783110324167&searchTitles=true Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Lampert, Timm 1969- Klassische Logik Einführung mit interaktiven Übungen Predicate (Logic) Propositional calculus Prädikatenlogik (DE-588)4046974-8 gnd Aussagenlogik (DE-588)4136098-9 gnd |
| subject_GND | (DE-588)4046974-8 (DE-588)4136098-9 (DE-588)4123623-3 |
| title | Klassische Logik Einführung mit interaktiven Übungen |
| title_auth | Klassische Logik Einführung mit interaktiven Übungen |
| title_exact_search | Klassische Logik Einführung mit interaktiven Übungen |
| title_full | Klassische Logik Einführung mit interaktiven Übungen |
| title_fullStr | Klassische Logik Einführung mit interaktiven Übungen |
| title_full_unstemmed | Klassische Logik Einführung mit interaktiven Übungen |
| title_short | Klassische Logik |
| title_sort | klassische logik einfuhrung mit interaktiven ubungen |
| title_sub | Einführung mit interaktiven Übungen |
| topic | Predicate (Logic) Propositional calculus Prädikatenlogik (DE-588)4046974-8 gnd Aussagenlogik (DE-588)4136098-9 gnd |
| topic_facet | Predicate (Logic) Propositional calculus Prädikatenlogik Aussagenlogik Lehrbuch |
| url | https://doi.org/10.1515/9783110324167 http://www.degruyter.com/search?f_0=isbnissn&q_0=9783110324167&searchTitles=true |
| work_keys_str_mv | AT lamperttimm klassischelogikeinfuhrungmitinteraktivenubungen |