Holdings: Logik und Algebra :: THWS Bibkatalog

Logik und Algebra: eine praxisbezogene Einführung für Informatiker und Wirtschaftsinformatiker

Saved in:

Bibliographic Details
Main Author:	Staab, Frank 1958- (Author)
Format:	Book
Language:	German
Published:	München Oldenbourg 2012
Edition:	2., überarb. Aufl.
Series:	Wirtschaftsinformatik kompakt
Subjects:	Mathematische Logik Algebra Einführung
Online Access:	Inhaltstext Inhaltsverzeichnis
Physical Description:	XII, 148 S. graph. Darst.
ISBN:	9783486716979 3486716972

Staff View

MARC


LEADER	00000nam a2200000 c 4500
001	BV040354565
003	DE-604
005	20131218
007	t
008	120807s2012 gw d\|\|\| \|\|\|\| 00\|\|\| ger d
015			\|a 12,N24 \|2 dnb
016	7		\|a 1023174472 \|2 DE-101
020			\|a 9783486716979 \|c Pb. : ca. EUR 19.80 (DE), ca. EUR 20.40 (AT) \|9 978-3-486-71697-9
020			\|a 3486716972 \|9 3-486-71697-2
024	3		\|a 9783486716979
035			\|a (OCoLC)809150363
035			\|a (DE-599)DNB1023174472
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a ger
044			\|a gw \|c XA-DE-BY
049			\|a DE-91G \|a DE-19 \|a DE-12 \|a DE-898 \|a DE-859 \|a DE-92 \|a DE-573 \|a DE-M347
082	0		\|a 511.3024004 \|2 22/ger
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
084			\|a ST 505 \|0 (DE-625)143675: \|2 rvk
084			\|a MAT 110f \|2 stub
084			\|a MAT 023f \|2 stub
084			\|a DAT 540f \|2 stub
084			\|a 510 \|2 sdnb
100	1		\|a Staab, Frank \|d 1958- \|e Verfasser \|0 (DE-588)172541964 \|4 aut
245	1	0	\|a Logik und Algebra \|b eine praxisbezogene Einführung für Informatiker und Wirtschaftsinformatiker \|c von Frank Staab
250			\|a 2., überarb. Aufl.
264		1	\|a München \|b Oldenbourg \|c 2012
300			\|a XII, 148 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Wirtschaftsinformatik kompakt
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Algebra \|0 (DE-588)4001156-2 \|2 gnd \|9 rswk-swf
655		7	\|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		\|5 DE-604
689	1	0	\|a Algebra \|0 (DE-588)4001156-2 \|D s
689	1		\|5 DE-604
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=4054266&prov=M&dok_var=1&dok_ext=htm \|3 Inhaltstext
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=025208559&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-025208559

Record in the Search Index

_version_	1807953386970021888
adam_text	IMAGE 1 INHALT VORWORT V ABBILDUNGSVERZEICHNIS IX TABELLENVERZEICHNIS XI 1 EINLEITUNG 1 2 LOGIK 3 2.1 LOGIK ALS FORMALISIERUNG DER NATUERLICHEN SPRACHE 3 2.2 AUSSAGENLOGIK 4 2.2.1 GRUNDLEGENDE VERKNUEPFUNGEN UND WAHRHEITSTAFELN 4 2.2.2 IMPLIKATION U N D AEQUIVALENZ 7 2.2.3 SYNTAX U N D SEMANTIK DER AUSSAGENLOGIK 10 2.2.4 TAUTOLOGIEN U N D LOGISCHE GESETZMAESSIGKEITEN 13 2.3 NORMALFORMEN 16 2.3.1 DISJUNKTIVE U N D KONJUNKTIVE NORMALFORMEN 18 2.3.2 KANONISCHE DISJUNKTIVE U N D KANONISCHE KONJUNKTIVE NORMALFORMEN 2 0 2.4 LOGISCHES SCHLIESSEN U N D RESOLUTION 2 2 2.5 AUFGABEN Z U KAPITEL 2 2 6 3 MENGEN, RELATIONEN UND ABBILDUNGEN 29 3.1 GRUNDBEGRIFFE 2 9 3.2 MENGENALGEBRA 3 2 3.2.1 ALGEBRAISCHE STRUKTUREN 32 3.2.2 MENGENALGEBRAISCHE OPERATIONEN 3 5 3.3 RELATIONEN 3 8 3.3.1 ZWEISTELLIGE RELATIONEN 3 8 3.3.2 AEQUIVALENZ- UND ORDNUNGSRELATIONEN 3 9 3.3.3 N-STELLIGE RELATIONEN 4 2 3.4 ABBILDUNGEN 4 3 HTTP://D-NB.INFO/1023174472 IMAGE 2 VIII INHALT 3.5 RELATIONALE DATENBANKEN 4 5 3.5.1 RELATION IN DER DATENBANKTHEORIE 4 5 3.5.2 RELATIONENALGEBRA 4 8 3.5.3 FUNKTIONALE ABHAENGIGKEITEN IN RELATIONEN 53 3.6 AUFGABEN Z U KAPITEL 3 5 6 4 BOOLESCHE ALGEBRA UND SCHALTALGEBRA 59 4.1 BOOLESCHE ALGEBREN 5 9 4.1.1 MODELLE DER BOOLESCHEN ALGEBRA 61 4.1.2 SCHALTALGEBRA ALS MODELL EINER ZWEIELEMENTIGEN BOOLESCHEN ALGEBRA 6 4 4.2 DISJUNKTIVE MINIMALFORM, QUINE-MCCLUSKEY ALGORITHMUS 7 4 4.3 KV-DIAGRAMME 7 9 4.3.1 ABLEITUNG DER DISJUNKTIVEN MINIMALFORM AUS KV-DIAGRAMMEN 7 9 4.3.2 KV-DIAGRAMME BEI NICHT VOLLSTAENDIG DEFINIERTEN FUNKTIONEN 83 4.4 VERKNUEPFUNGSBASEN 8 7 4.5 GRUNDLEGENDE SCHALTUNGEN 91 4.5.1 SCHALTGATTER 91 4.5.2 SCHALTNETZE 9 3 4.6 AUFGABEN Z U KAPITEL 4 9 9 5 PRAEDIKATENLOGIK UND LOGISCHES PROGRAMMIEREN 103 5.1 GRUNDLAGEN DER PRAEDIKATENLOGIK 103 5.2 LOGISCHES PROGRAMMIEREN 106 5.2.1 P R O L O G 106 5.2.2 ERWEITERUNG DER RESOLUTION A U F DIE PRAEDIKATENLOGIK 111 5.3 AUFGABEN Z U KAPITEL 5 117 6 LOESUNGEN ZU DEN AUFGABEN 119 6.1 LOESUNGEN Z U KAPITEL 2 119 6.2 LOESUNGEN Z U KAPITEL 3 124 6.3 LOESUNGEN Z U KAPITEL 4 128 6.4 LOESUNGEN Z U KAPITEL 5 135 7 LITERATURVERZEICHNIS 143 8 INDEX 145
any_adam_object	1
author	Staab, Frank 1958-
author_GND	(DE-588)172541964
author_facet	Staab, Frank 1958-
author_role	aut
author_sort	Staab, Frank 1958-
author_variant	f s fs
building	Verbundindex
bvnumber	BV040354565
classification_rvk	SK 130 ST 505
classification_tum	MAT 110f MAT 023f DAT 540f
ctrlnum	(OCoLC)809150363 (DE-599)DNB1023174472
dewey-full	511.3024004
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	511 - General principles of mathematics
dewey-raw	511.3024004
dewey-search	511.3024004
dewey-sort	3511.3024004
dewey-tens	510 - Mathematics
discipline	Informatik Mathematik
edition	2., überarb. Aufl.
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV040354565</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20131218</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">120807s2012 gw d\|\|\| \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,N24</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1023174472</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783486716979</subfield><subfield code="c">Pb. : ca. EUR 19.80 (DE), ca. EUR 20.40 (AT)</subfield><subfield code="9">978-3-486-71697-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3486716972</subfield><subfield code="9">3-486-71697-2</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783486716979</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)809150363</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1023174472</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">XA-DE-BY</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-M347</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3024004</subfield><subfield code="2">22/ger</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 505</subfield><subfield code="0">(DE-625)143675:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 110f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 023f</subfield><subfield code="2">stub</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">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Staab, Frank</subfield><subfield code="d">1958-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)172541964</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logik und Algebra</subfield><subfield code="b">eine praxisbezogene Einführung für Informatiker und Wirtschaftsinformatiker</subfield><subfield code="c">von Frank Staab</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2., überarb. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="b">Oldenbourg</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 148 S.</subfield><subfield code="b">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="490" ind1="0" ind2=" "><subfield code="a">Wirtschaftsinformatik kompakt</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">Algebra</subfield><subfield code="0">(DE-588)4001156-2</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">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="689" ind1="1" ind2="0"><subfield code="a">Algebra</subfield><subfield code="0">(DE-588)4001156-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=4054266&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</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=025208559&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025208559</subfield></datafield></record></collection>
genre	(DE-588)4151278-9 Einführung gnd-content
genre_facet	Einführung
id	DE-604.BV040354565
illustrated	Illustrated
indexdate	2024-08-21T00:05:10Z
institution	BVB
isbn	9783486716979 3486716972
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-025208559
oclc_num	809150363
open_access_boolean
owner	DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-12 DE-898 DE-BY-UBR DE-859 DE-92 DE-573 DE-M347
owner_facet	DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-12 DE-898 DE-BY-UBR DE-859 DE-92 DE-573 DE-M347
physical	XII, 148 S. graph. Darst.
publishDate	2012
publishDateSearch	2012
publishDateSort	2012
publisher	Oldenbourg
record_format	marc
series2	Wirtschaftsinformatik kompakt
spelling	Staab, Frank 1958- Verfasser (DE-588)172541964 aut Logik und Algebra eine praxisbezogene Einführung für Informatiker und Wirtschaftsinformatiker von Frank Staab 2., überarb. Aufl. München Oldenbourg 2012 XII, 148 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Wirtschaftsinformatik kompakt Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Algebra (DE-588)4001156-2 gnd rswk-swf (DE-588)4151278-9 Einführung gnd-content Mathematische Logik (DE-588)4037951-6 s DE-604 Algebra (DE-588)4001156-2 s X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4054266&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025208559&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Staab, Frank 1958- Logik und Algebra eine praxisbezogene Einführung für Informatiker und Wirtschaftsinformatiker Mathematische Logik (DE-588)4037951-6 gnd Algebra (DE-588)4001156-2 gnd
subject_GND	(DE-588)4037951-6 (DE-588)4001156-2 (DE-588)4151278-9
title	Logik und Algebra eine praxisbezogene Einführung für Informatiker und Wirtschaftsinformatiker
title_auth	Logik und Algebra eine praxisbezogene Einführung für Informatiker und Wirtschaftsinformatiker
title_exact_search	Logik und Algebra eine praxisbezogene Einführung für Informatiker und Wirtschaftsinformatiker
title_full	Logik und Algebra eine praxisbezogene Einführung für Informatiker und Wirtschaftsinformatiker von Frank Staab
title_fullStr	Logik und Algebra eine praxisbezogene Einführung für Informatiker und Wirtschaftsinformatiker von Frank Staab
title_full_unstemmed	Logik und Algebra eine praxisbezogene Einführung für Informatiker und Wirtschaftsinformatiker von Frank Staab
title_short	Logik und Algebra
title_sort	logik und algebra eine praxisbezogene einfuhrung fur informatiker und wirtschaftsinformatiker
title_sub	eine praxisbezogene Einführung für Informatiker und Wirtschaftsinformatiker
topic	Mathematische Logik (DE-588)4037951-6 gnd Algebra (DE-588)4001156-2 gnd
topic_facet	Mathematische Logik Algebra Einführung
url	http://deposit.dnb.de/cgi-bin/dokserv?id=4054266&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025208559&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT staabfrank logikundalgebraeinepraxisbezogeneeinfuhrungfurinformatikerundwirtschaftsinformatiker

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Description

MARC

Record in the Search Index

There is no print copy available.

Similar Items