國立虎尾科技大學 |

Aussagen- und Prädikatenlogik = Eine Einführung /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Aussagen- und Prädikatenlogik/ von Raphael van Riel, Gottfried Vosgerau.
其他題名:	Eine Einführung /
作者:	van Riel, Raphael.
其他作者:	Vosgerau, Gottfried.
面頁冊數:	X, 182 S. 7 Abb., 6 Abb. in Farbe.online resource. :
Contained By:	Springer Nature eBook
標題:	Logic. -
電子資源:	https://doi.org/10.1007/978-3-476-04565-2
ISBN:	9783476045652

Aussagen- und Prädikatenlogik = Eine Einführung /
van Riel, Raphael.

Aussagen- und PrädikatenlogikEine Einführung /[electronic resource] :von Raphael van Riel, Gottfried Vosgerau. - 1st ed. 2018. - X, 182 S. 7 Abb., 6 Abb. in Farbe.online resource.

1 Einleitung -- 2 Grundbegriffe -- 3 Grundlagen der Aussagenlogik -- 4 Semantik der Aussagenlogik -- 5 Systematik der Junktoren -- 6 Semantische Beweise -- 7 Schlussfiguren und die Idee eines Kalküls -- 8 Der Kalkül des natürlichen Schließens -- 9 Grundlagen der Prädikatenlogik -- 10 Prädikatenlogik und natürliche Sprache -- 11 Semantik der Prädikatenlogik -- 12 Ein Kalkül für die Prädikatenlogik -- 13 Identität von Individuen -- 14Aristotelische Syllogistik -- 15 Verzeichnis der Definitionen -- 16 Verzeichnis der Beweisregeln.

Dieses Lehrbuch vermittelt eines der wichtigsten Werkzeuge der Philosophie durch die Einführung in die Grundideen einer formalen Sprache. Schrittweise werden so die relevanten Sprachstrukturen aufgedeckt, die dann in der Aussagen- und Prädikatenlogik formalisiert werden. Sowohl die Semantik als auch ein Kalkül des natürlichen Schließens werden jeweils detailliert diskutiert. In Kombination mit einer Lernplattform wird der zentrale Stoff anwendungsorientiert und plastisch vermittelt, was die auch zum Selbststudium geeignete Einführung zum idealen Begleiter für das Philosophiestudium macht.

ISBN: 9783476045652

Standard No.: 10.1007/978-3-476-04565-2doiSubjects--Topical Terms:

558909
Logic.

LC Class. No.: BC1-199

Dewey Class. No.: 160

Aussagen- und Prädikatenlogik = Eine Einführung /
LDR:02326nam a22003495i 4500 001 995123
003 DE-He213
005 20200711002055.0
007 cr nn 008mamaa
008 201225s2018 gw | s |||| 0|ger d
020 $a 9783476045652 $9 978-3-476-04565-2
024 7 $a 10.1007/978-3-476-04565-2 $2 doi
035 $a 978-3-476-04565-2
050 4 $a BC1-199
072 7 $a HPL $2 bicssc
072 7 $a PHI011000 $2 bisacsh
072 7 $a QDTL $2 thema
082 0 4 $a 160 $2 23
100 1 $a van Riel, Raphael. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1286206
245 1 0 $a Aussagen- und Prädikatenlogik $h [electronic resource] : $b Eine Einführung / $c von Raphael van Riel, Gottfried Vosgerau.
250 $a 1st ed. 2018.
264 1 $a Stuttgart : $b J.B. Metzler : $b Imprint: J.B. Metzler, $c 2018.
300 $a X, 182 S. 7 Abb., 6 Abb. in Farbe. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
505 0 $a 1 Einleitung -- 2 Grundbegriffe -- 3 Grundlagen der Aussagenlogik -- 4 Semantik der Aussagenlogik -- 5 Systematik der Junktoren -- 6 Semantische Beweise -- 7 Schlussfiguren und die Idee eines Kalküls -- 8 Der Kalkül des natürlichen Schließens -- 9 Grundlagen der Prädikatenlogik -- 10 Prädikatenlogik und natürliche Sprache -- 11 Semantik der Prädikatenlogik -- 12 Ein Kalkül für die Prädikatenlogik -- 13 Identität von Individuen -- 14Aristotelische Syllogistik -- 15 Verzeichnis der Definitionen -- 16 Verzeichnis der Beweisregeln.
520 $a Dieses Lehrbuch vermittelt eines der wichtigsten Werkzeuge der Philosophie durch die Einführung in die Grundideen einer formalen Sprache. Schrittweise werden so die relevanten Sprachstrukturen aufgedeckt, die dann in der Aussagen- und Prädikatenlogik formalisiert werden. Sowohl die Semantik als auch ein Kalkül des natürlichen Schließens werden jeweils detailliert diskutiert. In Kombination mit einer Lernplattform wird der zentrale Stoff anwendungsorientiert und plastisch vermittelt, was die auch zum Selbststudium geeignete Einführung zum idealen Begleiter für das Philosophiestudium macht.
650 0 $a Logic. $3 558909
700 1 $a Vosgerau, Gottfried. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 812439
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783476045645
856 4 0 $u https://doi.org/10.1007/978-3-476-04565-2
912 $a ZDB-2-MGE
950 $a J.B. Metzler Humanities (German Language) (SpringerNature-41202)