Verfügbarkeit: Formalisieren und beweisen

Formalisieren und beweisen: Logik für Informatiker

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Siefkes, Dirk 1938-2016 (VerfasserIn)
Format:	Buch
Sprache:	German
Veröffentlicht:	Braunschweig [u.a.] Vieweg 1992
Ausgabe:	2., verb. Aufl.
Schlagworte:	Logik Mathematische Logik Informatik Einführung
Online-Zugang:	Inhaltsverzeichnis Inhaltsverzeichnis
Beschreibung:	XIII, 259 S. Ill., graph. Darst.
ISBN:	3528147571

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV004759642
003	DE-604
005	20211207
007	t
008	920120s1992 gw ad\|\| \|\|\|\| 00\|\|\| ger d
020			\|a 3528147571 \|9 3-528-14757-1
035			\|a (OCoLC)263182879
035			\|a (DE-599)BVBBV004759642
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a ger
044			\|a gw \|c DE
049			\|a DE-19 \|a DE-384 \|a DE-92 \|a DE-91 \|a DE-91G \|a DE-20 \|a DE-29T \|a DE-861 \|a DE-706 \|a DE-522 \|a DE-634 \|a DE-83 \|a DE-11
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
084			\|a ST 120 \|0 (DE-625)143585: \|2 rvk
084			\|a MAT 030 \|2 stub
100	1		\|a Siefkes, Dirk \|d 1938-2016 \|e Verfasser \|0 (DE-588)10682726X \|4 aut
245	1	0	\|a Formalisieren und beweisen \|b Logik für Informatiker \|c Dirk Siefkes
250			\|a 2., verb. Aufl.
264		1	\|a Braunschweig [u.a.] \|b Vieweg \|c 1992
300			\|a XIII, 259 S. \|b Ill., graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
650	0	7	\|a Logik \|0 (DE-588)4036202-4 \|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 Informatik \|0 (DE-588)4026894-9 \|2 gnd \|9 rswk-swf
655		7	\|8 1\p \|0 (DE-588)4151278-9 \|a Einführung \|2 gnd-content
689	0	0	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	0	1	\|a Informatik \|0 (DE-588)4026894-9 \|D s
689	0		\|5 DE-604
689	1	0	\|a Logik \|0 (DE-588)4036202-4 \|D s
689	1	1	\|a Informatik \|0 (DE-588)4026894-9 \|D s
689	1		\|8 2\p \|5 DE-604
856	4		\|u http://www3.ub.tu-berlin.de/ihv/000109714.pdf \|3 Inhaltsverzeichnis
856	4	2	\|m GBV Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002931632&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
940	1		\|n DHB
940	1		\|q DHB_BSB_GNDPERS_I
999			\|a oai:aleph.bib-bvb.de:BVB01-002931632
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

Datensatz im Suchindex

_version_	1804118880523649024
adam_text	FORMALISIEREN UND BEWEISEN LOGIK FUER INFORMATIKER 2., VERBESSERTE AUFLAGE - V.C- -^I VIEWEG INHALT EINFUEHRUNG TEIL 1 AUSSAGENLOGIK KAPITEL 1A FORMELN SCHREIBEN UND BENUTZEN 1A1 AUSSAGEN, VERKNUEPFUNGEN UND WAHRHEITSFUNKTIONEN 1A2 AUSSAGENLOGISCHE FORMELN 1A3 FORMALISIEREN 1A4 INDUKTIVES DEFINIEREN UND BEWEISEN 1A5 BELEGUNGEN UND WAHRHEITSWERTE 1A6 WAHRHEITSWERTE BESTIMMEN 1A7 SYNTAX UND SEMANTIK 1A8 DIE WERTFUNKTION 1A9 FORMALISIEREN AUF GROSSE UND KLEINE WEISE KAPITEL 1B ALLGEMEINGUELTIGE FORMELN UND LOGISCHES FOLGERN 1B1 LOGISCHE FOLGERUNG 1B2 EIGENSCHAFTEN DER LOGISCHEN FOLGERUNG 1B3 BEZIEHUNGEN ZU ANDEREN BEGRIFFEN 1B4 ALLGEMEINGUELTIGE FORMELN UND BEWEISPRINZIPIEN 1B 5 DER ERSETZUNGSSATZ 1B 6 WIDERSPRUECHLICHKEIT UND UNERFUELLBARKEIT 1B7 LOGISCHE FOLGERUNG UND WIDERSPRUECHLICHKEIT 1B8 ENDLICHKEITS- UND KOMPAKTHEITSSATZ KAPITEL IC ENTSCHEIDUNGSVERFAHREN UND NORMALFORMEN 1C1 ENTSCHEIDUNGSVERFAHREN MIT WAHRHEITSTAFELN UND IHR AUFWAND 1C2 KONJUNKTIVE UND DISJUNKTIVE NORMALFORMEN 1C3 ENTSCHEIDUNGSVERFAHREN MIT NORMALFORMEN 1C4 KLAUSELN, GENTZEN- UND HORNFORMELN 7 10 11 12 14 15 15 17 21 23 24 26 26 28 29 30 32 33 35 35 40 40 41 43 44 INHALT XI KAPITEL 1D ABLEITEN 49 1D1 1D2 1D3 1D4 1D5 1D6 1D7 1D8 1D9 1D10 1D11 1D12 ABLEITEN AN BEISPIELEN ABLEITUNGSREGELN, ABLEITEN, ABLEITUNGEN KORREKTKEIT DIE SCHNITTREGEL VOLLSTAENDIGKEIT WOZU VOLLSTAENDIGKEITSBEWEISE? DIE SCHNITTREGEL IST VOLLSTAENDIG FUERS WIDERLEGEN VON HOMFORMELN DIE SCHNITTREGEL IST VOLLSTAENDIG FUERS WIDERLEGEN VON GENTZENFORMELN WIDERLEGUNGEN IN ABLEITUNGEN UMFORMEN DIE SCHNITTREGEL IST FAST VOLLSTAENDIG DIE SCHNITTREGEL VERVOLLSTAENDIGEN ENTSCHEIDEN DURCH ABLEITEN TEIL 2 OFFENE PRAEDIKATENLOGIK 50 52 54 55 57 58 60 63 68 70 71 74 77 KAPITEL 2A SITUATIONEN STRUKTURIEREN UND DURCH FORMELN BESCHREIBEN 81 2A1 STRUKTURIEREN UND STRUKTUR 2A2 SYMBOLE, SIGNATUR, INTERPRETATION 2A3 TERME BILDEN 2A4 FORMELN BILDEN 2A5 VARIABLENFREIE TERME UND FORMELN AUSWERTEN 2A6 EINSETZEN, SUBSTITUTION 2A7 GUELTIGE FORMELN UND MODELLE 2A8 AUSWERTEN MIT ZUWEISUNGEN 2A9 AUSSAGENLOGIK IN DER PRAEDIKATENLOGIK 81 84 88 90 91 93 95 96 97 KAPITEL 2B MIT FORMELN UND STRUKTUREN UMGEHEN 99 2B1 ERFUELLBARE FORMELN UND LOGISCHE FOLGERUNG 2B2 ERZEUGTE STRUKTUREN 2B3 HERBRANDSTRUKTUREN 2B4 LOGIK VARIABLENFREIER FORMELN 2B5 FORMELN MIT VARIABLEN AUSSAGENLOGISCH INTERPRETIEREN 2B6 EIGENSCHAFTEN VON FORMELN MIT VARIABLEN 2B7 NORMALFORMEN 2B8 UMBENENNEN UND EINSETZEN 2B9 AXIOME FUER ARCHITEKTENSTRUKTUREN 100 102 103 109 110 111 113 114 115 XN INHALT KAPITEL 2C STRUKTURIEREN, FORMALISIEREN, AXIOMATISIEREN 120 2C1 DIE GLEICHHEIT AXIOMATISIEREN 2C2 MODELLE DER GLEICHHEITSAXIOME 2C3 PRAEDIKATENLOGIK MIT GLEICHHEIT 2C4 AXIOME UND THEORIEN 2C5 DAS ARCHITEKTENBEISPIEL AXIOMATISIEREN 121 123 126 128 131 KAPITEL 2D ABLEITEN 134 2D1 ABLEITUNGSREGELN IN DER OFFENEN PRAEDIKATENLOGIK 135 2D2 SCHNEIDEN UND EINSETZEN IST WIDERLEGUNGSVOLLSTAENDIG 136 2D3 VOLLSTAENDIGKEIT FUERS WIDERLEGEN IN DIE PRAEDIKATENLOGIK HOCHHEBEN 137 2D4 VOLLSTAENDIGKEIT FUERS ABLEITEN 138 2D5 THEOREMBEWEISER 140 2D6 ENDLICHKEITSSAETZE 142 2D7 DER RESOLUTIONSKALKUEL 143 2D8 LOGISCHES PROGRAMMIEREN 146 TEIL 3 PRAEDIKATENLOGIK 149 KAPITEL 3A QUANTORENFORMELN 152 3A1 FORMELN MIT QUANTOREN 3 A2 FREIE UND GEBUNDENE VARIABLEN 3A3 EINSETZEN, SUBSTITUTION 3A4 AUSWERTEN 3A5 ERFUELLBAR, ALLGEMEINGUELTIG, FOLGT LOGISCH 3A6 FORMELN AUSSAGENLOGISCH INTERPRETIEREN 3A7 FORMELN ABSCHLIESSEN ODER OEFFNEN 3A8 WEITERE EIGENSCHAFTEN VON QUANTORENFORMELN 152 154 155 156 158 161 162 162 KAPITEL 3B FINITISIEREN UND MECHANISIEREN 165 3B1 PRAENEXE NORMALFORM 3B2 SKOLEMISIEREN 3B3 THEOREMBEWEISER 3B4 DER SATZ VON HERBRAND 3B5 LOGISCHES PROGRAMMIEREN 3B6 HERBRANDSTRAKTUREN 3B7 DER SATZ VON LOEWENHEIM UND SKOLEM 3B8 ENDLICHKEITS- UND KOMPAKTHEITSSATZ 165 166 169 171 175 177 178 179 INHALT XM KAPITEL 3C GEOMETRIE UND ZAHLEN AXIOMATISIEREN 181 3C1 MEHR AXIOME FUER DIE EUKLIDISCHE GEOMETRIE 3C2 ALLE MINIMALEN GERADEN SIND ISOMORPH 3C3 ALLE MINIMALEN EBENEN SIND ISOMORPH 3C4 VOLLSTAENDIGE AXIOME, ENTSCHEIDBARE THEORIEN 3C5 KATEGORISCHE AXIOME FUER DIE NATUERLICHEN ZAHLEN 3C6 DIE NATUERLICHEN ZAHLEN SIND NICHT KATEGORISCH AXIOMATISIERBAR 3C7 DAS INDUKTIONSSCHEMA 3C8 DIE PEANO-AXIOME SIND VOLLSTAENDIG 3C9 PEANO-AXIOME MIT ORDNUNG 3C10 PEANO-AXIOME FUER ORDNUNG UND ADDITION 3C11 PEANO-AXIOME FUER ADDITION UND MULTIPLIKATION KAPITEL 3D STAERKEN UND SCHWAECHEN 3D1 TERMINATION VON PROGRAMMEN IST NICHT ENTSCHEIDBAR 3D2 BERECHNUNGEN FORTNALISIEREN 3D3 DIE WOERTERTHEORIE IST NICHT ENTSCHEIDBAR 3D4 BERECHNUNGEN AXIOMATISIEREN 3D5 DIE PRAEDIKATENLOGIK IST UNENTSCHEIDBAR 3D6 NICHT BEWEISBARE WAHRE SAETZE 3D7 WAHRHEIT IST NICHT FORMALISIERBAR 3D8 DIE NATUERLICHEN ZAHLEN SIND NICHT AXIOMATISIERBAR 3D9 DIE NATUERLICHEN ZAHLEN ALS GRUNDLAGE DER MATHEMATIK 3D10 DIE LOGIK ERWEITEM 3D11 FORMALISIEREN 182 184 186 187 188 190 192 193 194 195 197 198 198 199 203 203 206 207 209 212 214 217 222 ANHANG UNVOLLSTAENDIGER DIALOG UEBER VOLLSTAENDIGKEIT 225 DIE LEHRVERANSTALTUNG LOGIK FUER INFORMATIKER 242 VERZEICHNISSE 245 LITERATURVERZEICHNIS 245 PERSONENVERZEICHNIS 254 BEGRIFFSVERZEICHNIS 255 SYMBOLVERZEICHNIS 259
any_adam_object	1
author	Siefkes, Dirk 1938-2016
author_GND	(DE-588)10682726X
author_facet	Siefkes, Dirk 1938-2016
author_role	aut
author_sort	Siefkes, Dirk 1938-2016
author_variant	d s ds
building	Verbundindex
bvnumber	BV004759642
classification_rvk	SK 130 ST 120
classification_tum	MAT 030
ctrlnum	(OCoLC)263182879 (DE-599)BVBBV004759642
discipline	Informatik Mathematik
edition	2., verb. Aufl.
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02081nam a2200505 c 4500</leader><controlfield tag="001">BV004759642</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20211207 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">920120s1992 gw ad\|\| \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3528147571</subfield><subfield code="9">3-528-14757-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)263182879</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004759642</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</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">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</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">MAT 030</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Siefkes, Dirk</subfield><subfield code="d">1938-2016</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)10682726X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formalisieren und beweisen</subfield><subfield code="b">Logik für Informatiker</subfield><subfield code="c">Dirk Siefkes</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2., verb. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Braunschweig [u.a.]</subfield><subfield code="b">Vieweg</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 259 S.</subfield><subfield code="b">Ill., graph. Darst.</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="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">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">Informatik</subfield><subfield code="0">(DE-588)4026894-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)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">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</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">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://www3.ub.tu-berlin.de/ihv/000109714.pdf</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV 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=002931632&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="n">DHB</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">DHB_BSB_GNDPERS_I</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002931632</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></record></collection>
genre	1\p (DE-588)4151278-9 Einführung gnd-content
genre_facet	Einführung
id	DE-604.BV004759642
illustrated	Illustrated
indexdate	2024-07-09T16:17:20Z
institution	BVB
isbn	3528147571
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-002931632
oclc_num	263182879
open_access_boolean
owner	DE-19 DE-BY-UBM DE-384 DE-92 DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-20 DE-29T DE-861 DE-706 DE-522 DE-634 DE-83 DE-11
owner_facet	DE-19 DE-BY-UBM DE-384 DE-92 DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-20 DE-29T DE-861 DE-706 DE-522 DE-634 DE-83 DE-11
physical	XIII, 259 S. Ill., graph. Darst.
psigel	DHB_BSB_GNDPERS_I
publishDate	1992
publishDateSearch	1992
publishDateSort	1992
publisher	Vieweg
record_format	marc
spelling	Siefkes, Dirk 1938-2016 Verfasser (DE-588)10682726X aut Formalisieren und beweisen Logik für Informatiker Dirk Siefkes 2., verb. Aufl. Braunschweig [u.a.] Vieweg 1992 XIII, 259 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Logik (DE-588)4036202-4 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf 1\p (DE-588)4151278-9 Einführung gnd-content Mathematische Logik (DE-588)4037951-6 s Informatik (DE-588)4026894-9 s DE-604 Logik (DE-588)4036202-4 s 2\p DE-604 http://www3.ub.tu-berlin.de/ihv/000109714.pdf Inhaltsverzeichnis GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002931632&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 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
spellingShingle	Siefkes, Dirk 1938-2016 Formalisieren und beweisen Logik für Informatiker Logik (DE-588)4036202-4 gnd Mathematische Logik (DE-588)4037951-6 gnd Informatik (DE-588)4026894-9 gnd
subject_GND	(DE-588)4036202-4 (DE-588)4037951-6 (DE-588)4026894-9 (DE-588)4151278-9
title	Formalisieren und beweisen Logik für Informatiker
title_auth	Formalisieren und beweisen Logik für Informatiker
title_exact_search	Formalisieren und beweisen Logik für Informatiker
title_full	Formalisieren und beweisen Logik für Informatiker Dirk Siefkes
title_fullStr	Formalisieren und beweisen Logik für Informatiker Dirk Siefkes
title_full_unstemmed	Formalisieren und beweisen Logik für Informatiker Dirk Siefkes
title_short	Formalisieren und beweisen
title_sort	formalisieren und beweisen logik fur informatiker
title_sub	Logik für Informatiker
topic	Logik (DE-588)4036202-4 gnd Mathematische Logik (DE-588)4037951-6 gnd Informatik (DE-588)4026894-9 gnd
topic_facet	Logik Mathematische Logik Informatik Einführung
url	http://www3.ub.tu-berlin.de/ihv/000109714.pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002931632&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT siefkesdirk formalisierenundbeweisenlogikfurinformatiker

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis
Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge