Logikkalküle in der Informatik: wie wird Logik vom Rechner genutzt?
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | German |
| Veröffentlicht: |
Wiesbaden
Springer Fachmedien
2013
|
| Schriftenreihe: | Studienbücher Informatik
|
| Schlagworte: | |
| Online-Zugang: | BFB01 BHS01 BTU01 BTW01 FAB01 FAN01 FAW01 FCO01 FFW01 FHA01 FHD01 FHI01 FHM01 FHN01 FHO01 FHR01 FKE01 FLA01 FNU01 FRO01 FWS01 FWS02 HTW01 TUM01 UBG01 UBM01 UBT01 UBW01 UBY01 UER01 Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (XII, 232 S. 74 Abb) |
| ISBN: | 9783834822956 |
| DOI: | 10.1007/978-3-8348-2295-6 |
Internformat
MARC
| LEADER | 00000nmm a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV041556381 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 140113s2013 |||| o||u| ||||||ger d | ||
| 020 | |a 9783834822956 |9 978-3-8348-2295-6 | ||
| 024 | 7 | |a 10.1007/978-3-8348-2295-6 |2 doi | |
| 035 | |a (Springer)978-3-8348-2295-6 | ||
| 035 | |a (OCoLC)874391224 | ||
| 035 | |a (DE-599)HBZTT050425863 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-473 |a DE-706 |a DE-1046 |a DE-1051 |a DE-91 |a DE-1102 |a DE-M347 |a DE-92 |a DE-29 |a DE-20 |a DE-1050 |a DE-573 |a DE-898 |a DE-863 |a DE-862 |a DE-Aug4 |a DE-860 |a DE-861 |a DE-1043 |a DE-859 |a DE-634 |a DE-526 |a DE-523 |a DE-858 |a DE-522 |a DE-703 |a DE-19 |a DE-B768 |a DE-1049 |a DE-83 |a DE-1028 |a DE-188 |a DE-11 | ||
| 082 | 0 | |a 004 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a ST 125 |0 (DE-625)143586: |2 rvk | ||
| 084 | |a TEC 000 |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 100 | 1 | |a Schenke, Michael |d 1957- |e Verfasser |0 (DE-588)136687024 |4 aut | |
| 245 | 1 | 0 | |a Logikkalküle in der Informatik |b wie wird Logik vom Rechner genutzt? |c von Michael Schenke |
| 264 | 1 | |a Wiesbaden |b Springer Fachmedien |c 2013 | |
| 300 | |a 1 Online-Ressource (XII, 232 S. 74 Abb) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Studienbücher Informatik | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Logic design | |
| 650 | 4 | |a Information theory | |
| 650 | 0 | 7 | |a Logikkalkül |0 (DE-588)4353514-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4123623-3 |a Lehrbuch |2 gnd-content | |
| 689 | 0 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | 1 | |a Logikkalkül |0 (DE-588)4353514-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-8348-2295-6 |x Resolving-System |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027001996&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027001996&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-STI | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027001996 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-8348-2295-6 |l BFB01 |p ZDB-2-STI |x Resolving-System |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-8348-2295-6 |l BHS01 |p ZDB-2-STI |x Resolving-System |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-8348-2295-6 |l BTU01 |p ZDB-2-STI |x Resolving-System |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-8348-2295-6 |l BTW01 |p ZDB-2-STI |x Resolving-System |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-8348-2295-6 |l FAB01 |p ZDB-2-STI |x Resolving-System |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-8348-2295-6 |l FAN01 |p ZDB-2-STI |x Resolving-System |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-8348-2295-6 |l FAW01 |p ZDB-2-STI |x Resolving-System |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-8348-2295-6 |l FCO01 |p ZDB-2-STI |x Resolving-System |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-8348-2295-6 |l FFW01 |p ZDB-2-STI |x Resolving-System |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-8348-2295-6 |l FHA01 |p ZDB-2-STI |x Resolving-System |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-8348-2295-6 |l FHD01 |p ZDB-2-STI |x Resolving-System |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-8348-2295-6 |l FHI01 |p ZDB-2-STI |x Resolving-System |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-8348-2295-6 |l FHM01 |p ZDB-2-STI |x Resolving-System |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-8348-2295-6 |l FHN01 |p ZDB-2-STI |x Resolving-System |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-8348-2295-6 |l FHO01 |p ZDB-2-STI |x Resolving-System |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-8348-2295-6 |l FHR01 |p ZDB-2-STI |x Resolving-System |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-8348-2295-6 |l FKE01 |p ZDB-2-STI |x Resolving-System |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-8348-2295-6 |l FLA01 |p ZDB-2-STI |x Resolving-System |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-8348-2295-6 |l FNU01 |p ZDB-2-STI |x Resolving-System |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-8348-2295-6 |l FRO01 |p ZDB-2-STI |x Resolving-System |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-8348-2295-6 |l FWS01 |p ZDB-2-STI |x Resolving-System |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-8348-2295-6 |l FWS02 |p ZDB-2-STI |x Resolving-System |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-8348-2295-6 |l HTW01 |p ZDB-2-STI |x Resolving-System |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-8348-2295-6 |l TUM01 |p ZDB-2-STI |x Resolving-System |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-8348-2295-6 |l UBG01 |p ZDB-2-STI |x Resolving-System |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-8348-2295-6 |l UBM01 |p ZDB-2-STI |x Resolving-System |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-8348-2295-6 |l UBT01 |p ZDB-2-STI |x Resolving-System |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-8348-2295-6 |l UBW01 |p ZDB-2-STI |x Resolving-System |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-8348-2295-6 |l UBY01 |p ZDB-2-STI |x Resolving-System |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-8348-2295-6 |l UER01 |p ZDB-2-STI |x Resolving-System |3 Volltext | |
Datensatz im Suchindex
| DE-BY-FWS_katkey | 500130 |
|---|---|
| _version_ | 1806177975698194432 |
| adam_text | LOGIKKALKUELE IN DER INFORMATIK
/ SCHENKE, MICHAEL
: 2013
TABLE OF CONTENTS / INHALTSVERZEICHNIS
AUSSAGENLOGIK
PRAEDIKATENLOGIK
SLD-KALKUEL
MODALE LOGIK
TEMPORALE LOGIK
EPISTEMISCHE LOGIK
DEONTISCHE LOGIK
NICHTMONOTONE LOGIK
DEFAULT-LOGIK
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
LOGIKKALKUELE IN DER INFORMATIK
/ SCHENKE, MICHAEL
: 2013
ABSTRACT / INHALTSTEXT
IM MITTELPUNKT STEHT DAS SPANNUNGSVERHAELTNIS ZWISCHEN EINERSEITS DEM
HERKOEMMLICHEN LOGIKANSATZ MIT BEGRIFFEN WIE SIGNATUR, STRUKTUR,
WAHRHEITSWERT UND ANDERERSEITS DEM EHER DYNAMISCH AUSGERICHTETEN BEGRIFF
DES KALKUELS, ALSO ZWISCHEN SEMANTIK UND SYNTAX. WIE DIESER GRABEN
UEBERWUNDEN WIRD, WIRD FUER VERSCHIEDENE AUCH NICHT-KLASSISCHE LOGIKEN
VORGEFUEHRT: PRAEDIKATENLOGIK, MODALE, TEMPORALE, NICHTMONOTONE,
EPISTEMISCHE LOGIK UND ANDERE. DADURCH WIRD INSBESONDERE AUCH EINE
EINFUEHRENDE UEBERSICHT UEBER LOGIKEN GEGEBEN, DIE AN MANCHEN STELLEN
DER INFORMATIK BENOETIGT WERDEN, ZU DEREN VERSTAENDNIS MAN SICH ABER
KEIN GANZES SPEZIELLES BUCH ANSCHAFFEN MOECHTE. DAS BUCH ENTHAELT EINEN
EINHEITLICHEN ANSATZ FUER VERSCHIEDENE LOGIKEN. INHALT AUSSAGENLOGIK -
PRAEDIKATENLOGIK – SLD-KALKUEL – MODALE LOGIK – TEMPORALE LOGIK
– EPISTEMISCHE LOGIK – DEONTISCHE LOGIK – NICHTMONOTONE LOGIK –
DEFAULT-LOGIK ZIELGRUPPE STUDIERENDE DER INFORMATIK AUTOR PROF. DR. DR.
MICHAEL SCHENKE LEHRT UND FORSCHT AN DERHOCHSCHULE MERSEBURG
IMFACHBEREICH INFORMATIK UND KOMMUNIKATIONSSYSTEME
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author | Schenke, Michael 1957- |
| author_GND | (DE-588)136687024 |
| author_facet | Schenke, Michael 1957- |
| author_role | aut |
| author_sort | Schenke, Michael 1957- |
| author_variant | m s ms |
| building | Verbundindex |
| bvnumber | BV041556381 |
| classification_rvk | SK 130 ST 125 |
| classification_tum | TEC 000 DAT 000 |
| collection | ZDB-2-STI |
| ctrlnum | (Springer)978-3-8348-2295-6 (OCoLC)874391224 (DE-599)HBZTT050425863 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Technik Technik Informatik Mathematik |
| doi_str_mv | 10.1007/978-3-8348-2295-6 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05535nmm a2200877 c 4500</leader><controlfield tag="001">BV041556381</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">140113s2013 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783834822956</subfield><subfield code="9">978-3-8348-2295-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-8348-2295-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Springer)978-3-8348-2295-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)874391224</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)HBZTT050425863</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-1102</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-1043</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-526</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-B768</subfield><subfield code="a">DE-1049</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-1028</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</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 125</subfield><subfield code="0">(DE-625)143586:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Schenke, Michael</subfield><subfield code="d">1957-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)136687024</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logikkalküle in der Informatik</subfield><subfield code="b">wie wird Logik vom Rechner genutzt?</subfield><subfield code="c">von Michael Schenke</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden</subfield><subfield code="b">Springer Fachmedien</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XII, 232 S. 74 Abb)</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">Studienbücher Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Information theory</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">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="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">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Logikkalkül</subfield><subfield code="0">(DE-588)4353514-8</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="0"><subfield code="u">https://doi.org/10.1007/978-3-8348-2295-6</subfield><subfield code="x">Resolving-System</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=027001996&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=027001996&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-STI</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027001996</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-8348-2295-6</subfield><subfield code="l">BFB01</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Resolving-System</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-8348-2295-6</subfield><subfield code="l">BHS01</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Resolving-System</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-8348-2295-6</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Resolving-System</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-8348-2295-6</subfield><subfield code="l">BTW01</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Resolving-System</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-8348-2295-6</subfield><subfield code="l">FAB01</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Resolving-System</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-8348-2295-6</subfield><subfield code="l">FAN01</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Resolving-System</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-8348-2295-6</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Resolving-System</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-8348-2295-6</subfield><subfield code="l">FCO01</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Resolving-System</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-8348-2295-6</subfield><subfield code="l">FFW01</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Resolving-System</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-8348-2295-6</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Resolving-System</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-8348-2295-6</subfield><subfield code="l">FHD01</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Resolving-System</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-8348-2295-6</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Resolving-System</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-8348-2295-6</subfield><subfield code="l">FHM01</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Resolving-System</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-8348-2295-6</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Resolving-System</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-8348-2295-6</subfield><subfield code="l">FHO01</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Resolving-System</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-8348-2295-6</subfield><subfield code="l">FHR01</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Resolving-System</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-8348-2295-6</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Resolving-System</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-8348-2295-6</subfield><subfield code="l">FLA01</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Resolving-System</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-8348-2295-6</subfield><subfield code="l">FNU01</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Resolving-System</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-8348-2295-6</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Resolving-System</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-8348-2295-6</subfield><subfield code="l">FWS01</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Resolving-System</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-8348-2295-6</subfield><subfield code="l">FWS02</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Resolving-System</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-8348-2295-6</subfield><subfield code="l">HTW01</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Resolving-System</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-8348-2295-6</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Resolving-System</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-8348-2295-6</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Resolving-System</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-8348-2295-6</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Resolving-System</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-8348-2295-6</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Resolving-System</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-8348-2295-6</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Resolving-System</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-8348-2295-6</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Resolving-System</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-8348-2295-6</subfield><subfield code="l">UER01</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Resolving-System</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)4123623-3 Lehrbuch gnd-content |
| genre_facet | Lehrbuch |
| id | DE-604.BV041556381 |
| illustrated | Not Illustrated |
| indexdate | 2024-08-01T11:45:45Z |
| institution | BVB |
| isbn | 9783834822956 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027001996 |
| oclc_num | 874391224 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-706 DE-1046 DE-1051 DE-91 DE-BY-TUM DE-1102 DE-M347 DE-92 DE-29 DE-20 DE-1050 DE-573 DE-898 DE-BY-UBR DE-863 DE-BY-FWS DE-862 DE-BY-FWS DE-Aug4 DE-860 DE-861 DE-1043 DE-859 DE-634 DE-526 DE-523 DE-858 DE-522 DE-703 DE-19 DE-BY-UBM DE-B768 DE-1049 DE-83 DE-1028 DE-188 DE-11 |
| owner_facet | DE-473 DE-BY-UBG DE-706 DE-1046 DE-1051 DE-91 DE-BY-TUM DE-1102 DE-M347 DE-92 DE-29 DE-20 DE-1050 DE-573 DE-898 DE-BY-UBR DE-863 DE-BY-FWS DE-862 DE-BY-FWS DE-Aug4 DE-860 DE-861 DE-1043 DE-859 DE-634 DE-526 DE-523 DE-858 DE-522 DE-703 DE-19 DE-BY-UBM DE-B768 DE-1049 DE-83 DE-1028 DE-188 DE-11 |
| physical | 1 Online-Ressource (XII, 232 S. 74 Abb) |
| psigel | ZDB-2-STI |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer Fachmedien |
| record_format | marc |
| series2 | Studienbücher Informatik |
| spellingShingle | Schenke, Michael 1957- Logikkalküle in der Informatik wie wird Logik vom Rechner genutzt? Informatik Computer science Logic design Information theory Logikkalkül (DE-588)4353514-8 gnd Informatik (DE-588)4026894-9 gnd |
| subject_GND | (DE-588)4353514-8 (DE-588)4026894-9 (DE-588)4123623-3 |
| title | Logikkalküle in der Informatik wie wird Logik vom Rechner genutzt? |
| title_auth | Logikkalküle in der Informatik wie wird Logik vom Rechner genutzt? |
| title_exact_search | Logikkalküle in der Informatik wie wird Logik vom Rechner genutzt? |
| title_full | Logikkalküle in der Informatik wie wird Logik vom Rechner genutzt? von Michael Schenke |
| title_fullStr | Logikkalküle in der Informatik wie wird Logik vom Rechner genutzt? von Michael Schenke |
| title_full_unstemmed | Logikkalküle in der Informatik wie wird Logik vom Rechner genutzt? von Michael Schenke |
| title_short | Logikkalküle in der Informatik |
| title_sort | logikkalkule in der informatik wie wird logik vom rechner genutzt |
| title_sub | wie wird Logik vom Rechner genutzt? |
| topic | Informatik Computer science Logic design Information theory Logikkalkül (DE-588)4353514-8 gnd Informatik (DE-588)4026894-9 gnd |
| topic_facet | Informatik Computer science Logic design Information theory Logikkalkül Lehrbuch |
| url | https://doi.org/10.1007/978-3-8348-2295-6 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027001996&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027001996&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT schenkemichael logikkalkuleinderinformatikwiewirdlogikvomrechnergenutzt |