Verfügbarkeit: Logikkalküle

Logikkalküle:

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Richter, Michael M. 1938-2020 (VerfasserIn)
Format:	Buch
Sprache:	German
Veröffentlicht:	Stuttgart B.G. Teubner 1978
Schriftenreihe:	Leitfäden der angewandten Mathematik und Mechanik Band 43
Schlagworte:	Logic, Symbolic and mathematical Logikkalkül Mathematische Logik Logik Aussagenlogik Prädikatenlogik Einführung
Online-Zugang:	Inhaltsverzeichnis
Beschreibung:	232 Seiten
ISBN:	3519023458

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV002244632
003	DE-604
005	20200528
007	t
008	890928s1978 gw \|\|\|\| 00\|\|\| ger d
016	7		\|a 780360818 \|2 DE-101
020			\|a 3519023458 \|9 3-519-02345-8
035			\|a (OCoLC)4394259
035			\|a (DE-599)BVBBV002244632
040			\|a DE-604 \|b ger \|e rda
041	0		\|a ger
044			\|a gw \|c XA-DE-BW
049			\|a DE-91 \|a DE-91G \|a DE-M49 \|a DE-384 \|a DE-19 \|a DE-861 \|a DE-473 \|a DE-703 \|a DE-739 \|a DE-355 \|a DE-20 \|a DE-862 \|a DE-824 \|a DE-210 \|a DE-706 \|a DE-521 \|a DE-83 \|a DE-188 \|a DE-B1550 \|a DE-12 \|a DE-29T \|a DE-29 \|a DE-634
050		0	\|a QA9
050		0	\|a QA9.R62
084			\|a CC 2600 \|0 (DE-625)17610: \|2 rvk
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
084			\|a ST 120 \|0 (DE-625)143585: \|2 rvk
084			\|a 19a \|2 sdnb
084			\|a 03B05 \|2 msc
084			\|a 03F05 \|2 msc
100	1		\|a Richter, Michael M. \|d 1938-2020 \|e Verfasser \|0 (DE-588)120378620 \|4 aut
245	1	0	\|a Logikkalküle \|c von Dr. rer. nat. Michael M. Richter, Wiss. Rat und Professor an der Technischen Hochschule Aachen
264		1	\|a Stuttgart \|b B.G. Teubner \|c 1978
300			\|a 232 Seiten
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Leitfäden der angewandten Mathematik und Mechanik \|v Band 43
490	0		\|a Teubner Studienbücher Informatik
650		4	\|a Logic, Symbolic and mathematical
650	0	7	\|a Logikkalkül \|0 (DE-588)4353514-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Logik \|0 (DE-588)4036202-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Aussagenlogik \|0 (DE-588)4136098-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Prädikatenlogik \|0 (DE-588)4046974-8 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)4151278-9 \|a Einführung \|2 gnd-content
689	0	0	\|a Logik \|0 (DE-588)4036202-4 \|D s
689	0		\|5 DE-604
689	1	0	\|a Prädikatenlogik \|0 (DE-588)4046974-8 \|D s
689	1		\|5 DE-604
689	2	0	\|a Aussagenlogik \|0 (DE-588)4136098-9 \|D s
689	2		\|5 DE-604
689	3	0	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	3		\|5 DE-604
689	4	0	\|a Logikkalkül \|0 (DE-588)4353514-8 \|D s
689	4		\|5 DE-604
830		0	\|a Leitfäden der angewandten Mathematik und Mechanik \|v Band 43 \|w (DE-604)BV001888049 \|9 43
856	4	2	\|m DNB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001475136&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
940	1		\|q TUB-www
943	1		\|a oai:aleph.bib-bvb.de:BVB01-001475136
980	4		\|a (DE-12)AK18480429

Datensatz im Suchindex

DE-BY-862_location	2801
DE-BY-FWS_call_number	2801/1990:1977
DE-BY-FWS_katkey	53397
DE-BY-FWS_media_number	083100396188
_version_	1808232474641170432
adam_text	7 INHALT SEITE 1 . EINFUEHRUNG UND HILFSMITTEL 1.1 VORBEMERKUNGEN 9 1.2 ERSTER ABSCHNITT ZUR (KLASSISCHEN) AUSSAGENLOGIK 10 1.3 EXKURS IN DIE ALLGEMEINE ALGEBRA 16 1.4 EXKURS UEBER VERBAENDE 20 1.5 BOOLE'SCHE ALGEBREN 22 1.6 HEYTINGALGEBREN 28 1.7 ORTHOMODULARE VERBAENDE 34 2. DIE AUSSAGENLOGIK UND IHRE VOLLSTAENDIGKEITSSAETZE (HILBERTTYPKALKUELE) 2.1 NOCH EINMAL AUSSAGENLOGIK GANZ ALLGEMEIN 38 2.2 KLASSISCHE AUSSAGENLOGIK 41 2.3 INTUITIONISTISCHE AUSSAGENLOGIK 47 2.4 QUANTENLOGIK 52 3. DIE PRAEDIKATENLOGIK UND IHRE VOLLSTAENDIGKEITSSAETZE (HILBERTTYPKALKUELE) 3.1 OFFENE PRAEDIKATENLOGIK (KLASSISCH) 58 3.2 PRAEDIKATENLOGIK MIT QUANTOREN; SUBSTITUTIONEN 61 3.3 DER GOEDEL'SEHE VOLLSTAENDIGKEITSSATZ 69 3.4 PRAEDIKATENLOGIK MIT GLEICHHEIT 75 3.5 ULTRAPRODUKTE UND DER KOMPAKTHEITSSATZ FUER BELIEBIGE SPRACHEN DER PRAEDIKATENLOGIK 81 3.6 INTUITIONISTISCHE PRAEDIKATENLOGIK 84 8 SEITE 4. GENTZENSYSTEME 4.1 DER SEQUENZENKALKUEL LK VON GENTZEN FUER DIE KLASSISCHE LOGIK UND EINIGE SEINER GRUNDLEGENDEN EIGENSCHAFTEN 89 4.2 DER SCHNITTELIMINATIONSSATZ UND GENTZENS HAUPTSATZ 100 4.3 EINIGE ANWENDUNGEN DES SCHNITTELIMINATIONSSATZES 114 4.4 SEMANTISCHE BETRACHTUNGEN, VOLLSTAENDIGKEIT 128 4.5 DIE LOGIK MIT GLEICHHEIT 139 4.6 DER INTUITIONISTISCHE GENTZENKALKUEL LJ 157 5. TESTMETHODEN UND DIE KALKUELE DES AUTOMATISCHEN BEWEISENS 5.1 ALLGEMEINES UEBER TESTMETHODEN 167 5.2 DER KALKUEL VON MASLOV 173 5.3 DIE RESOLUTIONSMETHODE 185 5.4 DIE PARAMODULATION 198 5.5 REDUKTIONSSYSTEME 215 SYMBOLVERZEICHNIS 224 LITERATURVERZEICHNIS 225 SACHVERZEICHNIS 23O
any_adam_object	1
author	Richter, Michael M. 1938-2020
author_GND	(DE-588)120378620
author_facet	Richter, Michael M. 1938-2020
author_role	aut
author_sort	Richter, Michael M. 1938-2020
author_variant	m m r mm mmr
building	Verbundindex
bvnumber	BV002244632
callnumber-first	Q - Science
callnumber-label	QA9
callnumber-raw	QA9 QA9.R62
callnumber-search	QA9 QA9.R62
callnumber-sort	QA 19
callnumber-subject	QA - Mathematics
classification_rvk	CC 2600 SK 130 ST 120
ctrlnum	(OCoLC)4394259 (DE-599)BVBBV002244632
discipline	Informatik Mathematik Philosophie
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV002244632</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200528</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890928s1978 gw \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">780360818</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3519023458</subfield><subfield code="9">3-519-02345-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)4394259</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002244632</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BW</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-M49</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-B1550</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.R62</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 120</subfield><subfield code="0">(DE-625)143585:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">19a</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03B05</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03F05</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Richter, Michael M.</subfield><subfield code="d">1938-2020</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)120378620</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logikkalküle</subfield><subfield code="c">von Dr. rer. nat. Michael M. Richter, Wiss. Rat und Professor an der Technischen Hochschule Aachen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stuttgart</subfield><subfield code="b">B.G. Teubner</subfield><subfield code="c">1978</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">232 Seiten</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Leitfäden der angewandten Mathematik und Mechanik</subfield><subfield code="v">Band 43</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Teubner Studienbücher Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logikkalkül</subfield><subfield code="0">(DE-588)4353514-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</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="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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><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="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Logikkalkül</subfield><subfield code="0">(DE-588)4353514-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Leitfäden der angewandten Mathematik und Mechanik</subfield><subfield code="v">Band 43</subfield><subfield code="w">(DE-604)BV001888049</subfield><subfield code="9">43</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001475136&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">TUB-www</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001475136</subfield></datafield><datafield tag="980" ind1="4" ind2=" "><subfield code="a">(DE-12)AK18480429</subfield></datafield></record></collection>
genre	(DE-588)4151278-9 Einführung gnd-content
genre_facet	Einführung
id	DE-604.BV002244632
illustrated	Not Illustrated
indexdate	2024-08-24T04:01:08Z
institution	BVB
isbn	3519023458
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-001475136
oclc_num	4394259
open_access_boolean
owner	DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-M49 DE-BY-TUM DE-384 DE-19 DE-BY-UBM DE-861 DE-473 DE-BY-UBG DE-703 DE-739 DE-355 DE-BY-UBR DE-20 DE-862 DE-BY-FWS DE-824 DE-210 DE-706 DE-521 DE-83 DE-188 DE-B1550 DE-12 DE-29T DE-29 DE-634
owner_facet	DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-M49 DE-BY-TUM DE-384 DE-19 DE-BY-UBM DE-861 DE-473 DE-BY-UBG DE-703 DE-739 DE-355 DE-BY-UBR DE-20 DE-862 DE-BY-FWS DE-824 DE-210 DE-706 DE-521 DE-83 DE-188 DE-B1550 DE-12 DE-29T DE-29 DE-634
physical	232 Seiten
psigel	TUB-www
publishDate	1978
publishDateSearch	1978
publishDateSort	1978
publisher	B.G. Teubner
record_format	marc
series	Leitfäden der angewandten Mathematik und Mechanik
series2	Leitfäden der angewandten Mathematik und Mechanik Teubner Studienbücher Informatik
spellingShingle	Richter, Michael M. 1938-2020 Logikkalküle Leitfäden der angewandten Mathematik und Mechanik Logic, Symbolic and mathematical Logikkalkül (DE-588)4353514-8 gnd Mathematische Logik (DE-588)4037951-6 gnd Logik (DE-588)4036202-4 gnd Aussagenlogik (DE-588)4136098-9 gnd Prädikatenlogik (DE-588)4046974-8 gnd
subject_GND	(DE-588)4353514-8 (DE-588)4037951-6 (DE-588)4036202-4 (DE-588)4136098-9 (DE-588)4046974-8 (DE-588)4151278-9
title	Logikkalküle
title_auth	Logikkalküle
title_exact_search	Logikkalküle
title_full	Logikkalküle von Dr. rer. nat. Michael M. Richter, Wiss. Rat und Professor an der Technischen Hochschule Aachen
title_fullStr	Logikkalküle von Dr. rer. nat. Michael M. Richter, Wiss. Rat und Professor an der Technischen Hochschule Aachen
title_full_unstemmed	Logikkalküle von Dr. rer. nat. Michael M. Richter, Wiss. Rat und Professor an der Technischen Hochschule Aachen
title_short	Logikkalküle
title_sort	logikkalkule
topic	Logic, Symbolic and mathematical Logikkalkül (DE-588)4353514-8 gnd Mathematische Logik (DE-588)4037951-6 gnd Logik (DE-588)4036202-4 gnd Aussagenlogik (DE-588)4136098-9 gnd Prädikatenlogik (DE-588)4046974-8 gnd
topic_facet	Logic, Symbolic and mathematical Logikkalkül Mathematische Logik Logik Aussagenlogik Prädikatenlogik Einführung
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001475136&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV001888049
work_keys_str_mv	AT richtermichaelm logikkalkule

Verfügbarkeit

Inhaltsverzeichnis

THWS Schweinfurt Magazin

Bestandesangaben von THWS Schweinfurt Magazin
Signatur:	2801 1990:1977
Exemplar 1	ausleihbar Verfügbar Bestellen

MARC

Datensatz im Suchindex

THWS Schweinfurt Magazin

Ähnliche Einträge