Verfügbarkeit: Logik im Klartext

Logik im Klartext:

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Kelly, John (VerfasserIn)
Format:	Buch
Sprache:	German English
Veröffentlicht:	München ; Boston ; San Francisco ; Harlow, England ; Don Mills, Ontario ; Sydney ; Mexico City ; Madrid ; Amsterdam Pearson Studium [2003]
Schriftenreihe:	Im Klartext : Informatik
Schlagworte:	Logic programming Logic, Symbolic and mathematical Mathematische Logik Aufgabensammlung Lehrbuch
Online-Zugang:	Inhaltsverzeichnis
Beschreibung:	321 Seiten Illustrationen
ISBN:	3827370701

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV017091144
003	DE-604
005	20240202
007	t
008	030422s2003 gw a\|\|\| \|\|\|\| 00\|\|\| ger d
016	7		\|a 967360242 \|2 DE-101
020			\|a 3827370701 \|9 3-8273-7070-1
028	5	2	\|a 7070
035			\|a (OCoLC)237732863
035			\|a (DE-599)BVBBV017091144
040			\|a DE-604 \|b ger \|e rda
041	1		\|a ger \|h eng
044			\|a gw \|c XA-DE
049			\|a DE-91G \|a DE-20 \|a DE-12 \|a DE-92 \|a DE-Di1 \|a DE-N32 \|a DE-1028 \|a DE-1102 \|a DE-1051 \|a DE-573 \|a DE-1047 \|a DE-384 \|a DE-M347 \|a DE-860 \|a DE-521 \|a DE-522 \|a DE-19 \|a DE-634 \|a DE-83 \|a DE-703 \|a DE-739
082	0		\|a 005.131 \|2 22
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
084			\|a ST 120 \|0 (DE-625)143585: \|2 rvk
084			\|a ST 125 \|0 (DE-625)143586: \|2 rvk
084			\|a 27 \|2 sdnb
084			\|a 28 \|2 sdnb
084			\|a DAT 540f \|2 stub
084			\|a MAT 030f \|2 stub
100	1		\|a Kelly, John \|e Verfasser \|4 aut
240	1	0	\|a The essence of logic
245	1	0	\|a Logik im Klartext \|c John Kelly
264		1	\|a München ; Boston ; San Francisco ; Harlow, England ; Don Mills, Ontario ; Sydney ; Mexico City ; Madrid ; Amsterdam \|b Pearson Studium \|c [2003]
300			\|a 321 Seiten \|b Illustrationen
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Im Klartext : Informatik
650		4	\|a Logic programming
650		4	\|a Logic, Symbolic and mathematical
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)4143389-0 \|a Aufgabensammlung \|2 gnd-content
655		7	\|0 (DE-588)4123623-3 \|a Lehrbuch \|2 gnd-content
689	0	0	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	0		\|5 DE-604
856	4	2	\|m HEBIS Datenaustausch Darmstadt \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010307971&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-010307971

Datensatz im Suchindex

_version_	1804129972729675776
adam_text	JOHN K6LLY LOGIK IM KLFLRTEXT PEARSON STUDIUM EIN IMPRINT VON PEARSON EDUCATION MUENCHEN * BOSTON * SAN FRANCISCO * HARLOW, ENGLAND DON MILLS, ONTARIO * SYDNEY * MEXICO CITY MADRID * AMSTERDAM LOGIK IM KLFLFLTGXT INHFILTSVERZEICHNIS VORWORT ZUR DEUTSCHEN RUSGRGE VORWORT DRNKSRGUN6 HRPITEL 1 WFLHRHEITSTFLFGLN 1.1 WORUM GEHT ES IN DER LOGIK? 1.2 WAHRHEITSTAFELN 1.3 AEQUIVALENZEN 1.4 HINREICHEND VERKNUEPFT 1.5 DIE SPRACHE DER LOGIK 1.6 ANWENDUNGEN ZUM SCHALTUNGSENTWURF 1.7 ZUSAMMENFASSUNG 1.8 UEBUNGEN KRPITGL 2 SEMRNTISCHE TFLBLEFLUS 2.1 EXPONENTIELLES WACHSTUM 2.2 SEMANTISCHE TABLEAUS 2.3 REGELN DES RICHTIGEN SCHLIESSENS 2.4 PROBLEMLOESUNG MIT HILFE SEMANTISCHER TABLEAUS 2.5 ZUSAMMENFASSUNG 2.6 UEBUNGEN KRPITGL 3 NRTUERLXCHES SCHLIESSCN 3.1 EINLEITUNG 3.2 REGELN DES NATUERLICHEN SCHLIESSENS 3.3 DER SEQUENZENKALKUEL 3.4 ZUSAMMENFASSUNG 3.5 UEBUNGEN 9 II 17 17 19 27 31 34 39 45 46 49 49 50 57 60 64 65 67 67 68 81 90 92 KRPITEL 4 4.1 4.2 4.3 4.4 4.5 4.6 4.7 4.8 KRPITSL 5 5.1 5.2 5.3 5.4 5.5 5.6 5.7 5.8 KRPITGL 6 6.1 6.2 6.3 6.4 6.5 6.6 6.7 6.8 6.9 6.10 6.11 KRPITCL 7 7.1 7.2 7.3 7.4 7.5 RXIOMRTISCHE RUSSRGENLOGIK EINLEITUNG AXIOMATISCHE SYSTEME ABLEITUNG/DEDUKTION (LOGISCHES SCHLIESSEN) METATHEOREME WICHTIGE EIGENSCHAFTEN VON AL ENTSCHEIDBARKEIT ZUSAMMENFASSUNG UEBUNGEN RESOLUTION IN DER RUSSRGENLOGIK EINLEITUNG NORMALFORMEN RESOLVIERUNG VON BEGRUENDUNGEN RESOLUTION PROBLEMLOESUNGEN KOMBINATORISCHE SUCHPROBLEME ZUSAMMENFASSUNG UEBUNGEN EINFUEHRUNG IN DIE PRRDIKRTENLOGIK EINLEITUNG OBJEKTE, PRAEDIKATE UND QUANTOREN FUNKTIONEN SPRACHEN ERSTER STUFE QUANTOREN, WIRKUNGSBEREICH UND BINDUNG SUBSTITUTION INTERPRETATIONEN LOGIK HOEHERER STUFEN LOGIK IN DER PROGRAMMIERUNG - FORMALISIERUNG VON SOFTWARE ZUSAMMENFASSUNG UEBUNGEN EIN RXIOMRTISCHER EINSTIEG IN DIE PRRDIKRTENLOGIK EINLEITUNG EIN AXIOMATISCHES SYSTEM DER PRAEDIKATENLOGIK ERSTER STUFE KORREKTHEIT UND VOLLSTAENDIGKEIT ENTSCHEIDBARKEIT GEEIGNETE AXIOME UND THEORIEN 93 93 94 96 97 112 122 123 125 127 127 128 133 139 142 144 147 149 ^ 151 153 159 160 163 165 168 188 189 194 196 199 199 200 212 213 213 INHHLTSVENZEICHNIS 7.6 1.1 7.8 KRPITEL 8 8.1 8.2 8.3 8.4 8.5 8.6 KRPIT6L 9 9.1 9.2 9.3 9.4 9.5 9.6 9.7 9.8 9.9 9.10 9.11 AXIOMATISCHE SEMANTIKEN UND PROGRAMMIERUNG ZUSAMMENFASSUNG UEBUNGEN SEMRNTISCHE TRBLERUS IN DER PRRDIKRTENLOGIK EINLEITUNG SEMANTISCHE TABLEAUS INSTANZIIERUNGSREGELN PROBLEMLOESEN IN DER PRAEDIKATENLOGIK ZUSAMMENFASSUNG UEBUNGEN RESOLUTION IN DER PRRDIKRTENLOGIK EINLEITUNG NORMALFORMEN HERBRAND-UNIVERSA RESOLUTION UNIFIKATION NOCHMALS RESOLUTION ERWEITERTE BEISPIELE PROBLEMLOESUNG MIT HILFE VON RESOLUTION RESOLUTION ALS COMPUTERWERKZEUG ZUSAMMENFASSUNG UEBUNEEN 216 222 224 225 225 226 231 235 239 240 241 241 242 251 257 261 265 266 269 272 280 283 KRPIT6L 10 LOSUNGEN ZU RUSGEURHLTEN UEBUNGEN RNHRNG R GLOSSRR BIBLIOGRRPHIE DEUTSCHSPRRCHIG6 LITERRTUR REGISTER 285 3 318 3*9 INHFLLTSVERZEICHNIS
any_adam_object	1
author	Kelly, John
author_facet	Kelly, John
author_role	aut
author_sort	Kelly, John
author_variant	j k jk
building	Verbundindex
bvnumber	BV017091144
classification_rvk	SK 130 ST 120 ST 125
classification_tum	DAT 540f MAT 030f
ctrlnum	(OCoLC)237732863 (DE-599)BVBBV017091144
dewey-full	005.131
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.131
dewey-search	005.131
dewey-sort	15.131
dewey-tens	000 - Computer science, information, general works
discipline	Informatik Mathematik
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02006nam a2200505 c 4500</leader><controlfield tag="001">BV017091144</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240202 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">030422s2003 gw a\|\|\| \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">967360242</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3827370701</subfield><subfield code="9">3-8273-7070-1</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">7070</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)237732863</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV017091144</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="1" ind2=" "><subfield code="a">ger</subfield><subfield code="h">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-Di1</subfield><subfield code="a">DE-N32</subfield><subfield code="a">DE-1028</subfield><subfield code="a">DE-1102</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-1047</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</subfield><subfield code="2">22</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">ST 125</subfield><subfield code="0">(DE-625)143586:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">27</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 030f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kelly, John</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="240" ind1="1" ind2="0"><subfield code="a">The essence of logic</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logik im Klartext</subfield><subfield code="c">John Kelly</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München ; Boston ; San Francisco ; Harlow, England ; Don Mills, Ontario ; Sydney ; Mexico City ; Madrid ; Amsterdam</subfield><subfield code="b">Pearson Studium</subfield><subfield code="c">[2003]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">321 Seiten</subfield><subfield code="b">Illustrationen</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="0" ind2=" "><subfield code="a">Im Klartext : Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</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">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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143389-0</subfield><subfield code="a">Aufgabensammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><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">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</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=010307971&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-010307971</subfield></datafield></record></collection>
genre	(DE-588)4143389-0 Aufgabensammlung gnd-content (DE-588)4123623-3 Lehrbuch gnd-content
genre_facet	Aufgabensammlung Lehrbuch
id	DE-604.BV017091144
illustrated	Illustrated
indexdate	2024-07-09T19:13:38Z
institution	BVB
isbn	3827370701
language	German English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-010307971
oclc_num	237732863
open_access_boolean
owner	DE-91G DE-BY-TUM DE-20 DE-12 DE-92 DE-Di1 DE-N32 DE-1028 DE-1102 DE-1051 DE-573 DE-1047 DE-384 DE-M347 DE-860 DE-521 DE-522 DE-19 DE-BY-UBM DE-634 DE-83 DE-703 DE-739
owner_facet	DE-91G DE-BY-TUM DE-20 DE-12 DE-92 DE-Di1 DE-N32 DE-1028 DE-1102 DE-1051 DE-573 DE-1047 DE-384 DE-M347 DE-860 DE-521 DE-522 DE-19 DE-BY-UBM DE-634 DE-83 DE-703 DE-739
physical	321 Seiten Illustrationen
publishDate	2003
publishDateSearch	2003
publishDateSort	2003
publisher	Pearson Studium
record_format	marc
series2	Im Klartext : Informatik
spelling	Kelly, John Verfasser aut The essence of logic Logik im Klartext John Kelly München ; Boston ; San Francisco ; Harlow, England ; Don Mills, Ontario ; Sydney ; Mexico City ; Madrid ; Amsterdam Pearson Studium [2003] 321 Seiten Illustrationen txt rdacontent n rdamedia nc rdacarrier Im Klartext : Informatik Logic programming Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd rswk-swf (DE-588)4143389-0 Aufgabensammlung gnd-content (DE-588)4123623-3 Lehrbuch gnd-content Mathematische Logik (DE-588)4037951-6 s DE-604 HEBIS Datenaustausch Darmstadt application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010307971&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Kelly, John Logik im Klartext Logic programming Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd
subject_GND	(DE-588)4037951-6 (DE-588)4143389-0 (DE-588)4123623-3
title	Logik im Klartext
title_alt	The essence of logic
title_auth	Logik im Klartext
title_exact_search	Logik im Klartext
title_full	Logik im Klartext John Kelly
title_fullStr	Logik im Klartext John Kelly
title_full_unstemmed	Logik im Klartext John Kelly
title_short	Logik im Klartext
title_sort	logik im klartext
topic	Logic programming Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd
topic_facet	Logic programming Logic, Symbolic and mathematical Mathematische Logik Aufgabensammlung Lehrbuch
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010307971&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT kellyjohn theessenceoflogic AT kellyjohn logikimklartext

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge