Einfache Suche

Cookie	Anbieter	Beschreibung	Speicherdauer
COPOPENAUTH	OCLC	Ein Cookie, der sich eine erfolgreiche Anmeldung merkt.	10 Jahre nach Erstellung
EU_LAW_INFO	OCLC	Der Cookie wird gespeichert, sobald der Anwender die Verwendung von Cookies zur Kenntnis genommen hat.	10 Jahre nach Erstellung
.ASPXANONYMOUS	DNN	Der Cookie speichert eine eindeutige ID für anonyme Anwender.	ca 70 Tage
.DOTNETNUKE	DNN	Der Cookie wird bei der Anmeldung erzeugt.	Session
ASP.NET_SessionId	ASP.NET	Identifiziert die Session von ASP.NET.	Session
authentication	OCLC	Speichert, über welchen Anmeldeweg der Leser sich angemeldet hat. DNN (DNN Login), COP (OPEN Login), "" (Nicht angemeldet)	Session
dnn_IsMobile	DNN	Der Cookie speichert, ob der Anwender ein mobiles Gerät verwendet.	Session
languague	DNN	Der Cookie speichert die aktuell eingestellte Sprache.	Session
LastPageId	DNN	Der Cookie speichert die ID (TabID) des letzten besuchten Reiters.	Session
__RequestVerificationToken	DNN	Der Cookie bietet Schutz vor Cross-Site-Attacken.	Session
SplashPageView	DNN	Der Cookie steuert die einmalige Anzeige der Begrüßungsseite.	Session
RepeaterCategories, RepeaterGroup	DNNGo	Cookies des DNN-Moduls xPlugin für Layout-Einstellungen.	Session

Cookie	Anbieter	Beschreibung	Speicherdauer
GOOGLE_ANALYTICS_INFO	OCLC	Der Cookie wird gesetzt, wenn der Anwender der Verwendung des Tracking Tools Google Analytics zugestimmt hat.	1 Jahr
_ga, _ga_<container-id>	Google Analytics	Der Cookie _ga speichert die Google Analytics-Client-ID zur Unterscheidung von Nutzern, _ga_<container-id> dient der Persistierung des Sitzungsstatus (vorausgesetzt der Anwender hat dem Tool zugestimmt, siehe Cookie GOOGLE_ANALYTICS_INFO).	2 Jahre
_Module_359_Survey_0_, AppearanceSecurityOptions, CSVExportOptions	DNN	Die Cookies werden vom optionalen 3rd Party DNN-Modul Survey verwendet.	bis 31.12.9999, 20 Minuten, 20 Minuten

Cookie	Anbieter	Beschreibung	Speicherdauer
Liste aller Einstellungs-Cookies von OPEN:	OCLC	Die Cookies steuern den aufgeklappt/zugeklappt - Status bei den einzelnen Bereichen innerhalb der Einstellungen sowie die Sichtbarkeit der Header.	Session
StayInEditMode	DNN	Der Cookie steuert, ob sich die Oberfläche im Bearbeitungsmodus befindet.	Session
cem_pending, CEM_CallbackData, CEM_ExistingModule, CEM_NewModuleId	DNN	Diese Cookies werden beim Hinzufügen bzw. Klonen von Modulen im Bearbeitungsmodus verwendet.	Session

Bibliothekskatalog

Standorte
TBM 5(5) / Lehrbuchsammlung
TBM 5(5)+2 / Lehrbuchsammlung
TBM 5(5)+4 / Lehrbuchsammlung
TBM 5(5)+1 / Lehrbuchsammlung
TBM 5(5)+3 / Lehrbuchsammlung

Suche verfeinern (Erweiterte Suche)

Zur Trefferliste

Detailanzeige drucken Permalink Detailanzeige Detailanzeige per E-Mail versenden

Mathematische Grundlagen der Informatik

Mathematisches Denken und Beweisen ; Eine Einführung

Verfasser: Meinel, Christoph ; Mundhenk, Martin

Jahr: 2011

Verlag: Wiesbaden, Vieweg + Teubner

Reihe: Leitfäden der Informatik Studium

Lehrbuchsammlung

verfügbar

Exemplare

Standorte	Standort 2	Status	Vorbestellungen	Frist	Barcode	Lageplan
Standorte: TBM 5(5) / Lehrbuchsammlung	Standort 2: Lehrbuchsammlung	Status: Verfügbar	Vorbestellungen: 0	Frist:	Barcode: 00106629	Lagepläne: Lageplan
Standorte: TBM 5(5)+2 / Lehrbuchsammlung	Standort 2: Lehrbuchsammlung	Status: Verfügbar	Vorbestellungen: 0	Frist:	Barcode: 00106631	Lagepläne: Lageplan
Standorte: TBM 5(5)+4 / Lehrbuchsammlung	Standort 2: Lehrbuchsammlung	Status: Verfügbar	Vorbestellungen: 0	Frist:	Barcode: 00106633	Lagepläne: Lageplan
Standorte: TBM 5(5)+1 / Lehrbuchsammlung	Standort 2: Lehrbuchsammlung	Status: Entliehen	Vorbestellungen: 0	Frist: 06.01.2025	Barcode: 00106630	Lagepläne: Lageplan
Standorte: TBM 5(5)+3 / Lehrbuchsammlung	Standort 2: Lehrbuchsammlung	Status: Entliehen	Vorbestellungen: 0	Frist: 07.01.2025	Barcode: 00106632	Lagepläne: Lageplan

Inhalt

Diese Einführung in die mathematischen Grundlagen der Informatik stellt systematisch die für die Informatik typischen und grundlegenden Denkweisen vor. Die Herangehensweise führt die Leser aufbauend auf der Schulmathematik gezielt aber behutsam hin zum Umgang mit exakten mathematischen Beschreibungen und Argumentationen in der Informatik. Der Inhalt: Aussagen - Mengen und Mengenoperationen - Mathematisches Beweisen - Relationen - Abbildungen und Funktionen - Techniken: Grundlegende Beweisstrategien - Vollständige Induktion - Zählen - Diskrete Stochastik - Strukturen: Boole'sche Algebra - Graphen und Bäume - Aussagenlogik - Modulare Arithmetik (Quelle: Verlag)

Details

Verfasser: Meinel, Christoph ; Mundhenk, Martin

Verfasserangabe: Christoph Meinel ; Martin Mundhenk

Jahr: 2011

Verlag: Wiesbaden, Vieweg + Teubner

Links: http://d-nb.info/100961858x/04

Systematik: TBM

ISBN: 978-3-8348-1520-0

2. ISBN: 3-8348-1520-9

Beschreibung: 5., überarb. Aufl., 335 S.

Reihe: Leitfäden der Informatik Studium

Schlagwörter: Beweis; Lehrbuch; Boolsche Algebra; Mathematik; Logik

Mediengruppe: Lehrbuchsammlung

Hinweise zur Suche

Verwenden Sie ähnliche, allgemeinere oder weniger Begriffe
Nutzen Sie den Platzhalter *
Wir bieten Hilfestellung bei Ihrer Literaturrecherche - Book a Librarian