Constraint-Programmierung

Constraint-Programmierung von Abdennadher,  Slim, Frühwirth,  Thom
Das Buch gibt einen kompakten, aber umfassenden Überblick über das Problemlösen und Programmieren mit "Constraints" (Randbedingungen). Diese aktuelle Programmiermethodik ermöglicht es, Aufgaben direkt zu formulieren und effizient zu lösen. Sie gewinnt zusehends Bedeutung in Anwendungsbereichen wie Kombinatorische Suchprobleme (z.B. Zeitplanen, Layout-Optimierung), Berechnungen (Finanzanalyse), Simulation (Hardware-Verifikation) oder allgemein Schließen und Rechnen mit ungenauer oder unvollständiger Information (z.B. Kostenschätzung). Die theoretisch fundierte Darstellung mit Aufgaben und Anwendungsbeispielen aus der Praxis ist in der Lehre erprobt, aber auch für Forscher und Praktiker von Nutzen.
Aktualisiert: 2023-07-02
> findR *

Algorithmen und Datenstrukturen im VLSI-Design

Algorithmen und Datenstrukturen im VLSI-Design von Meinel,  Christoph, Theobald,  Thorsten
Eines der Hauptprobleme beim Chipentwurf besteht darin, daß die Anzahl der zu bewältigenden Kombinationen der einzelnen Chipbausteine ins Unermeßliche steigt. Hier hat sich eine sehr fruchtbare Verbindung zu einem Kerngebiet der Theoretischen Informatik, dem Gebiet des Entwurfs von Datenstrukturen und effizienten Algorithmen, herstellen lassen: das Konzept der geordneten binären Entscheidungsgraphen, das in zahlreichen CAD-Projekten zu einer beträchtlichen Leistungssteigerung geführt hat. Die Autoren stellen die Grundlagen dieses interdisziplinären Forschungsgebiets dar und behandeln wichtige Anwendungen aus dem rechnergestützten Schaltkreisentwurf.
Aktualisiert: 2023-07-02
> findR *

Algorithmen und Datenstrukturen im VLSI-Design

Algorithmen und Datenstrukturen im VLSI-Design von Meinel,  Christoph, Theobald,  Thorsten
Eines der Hauptprobleme beim Chipentwurf besteht darin, daß die Anzahl der zu bewältigenden Kombinationen der einzelnen Chipbausteine ins Unermeßliche steigt. Hier hat sich eine sehr fruchtbare Verbindung zu einem Kerngebiet der Theoretischen Informatik, dem Gebiet des Entwurfs von Datenstrukturen und effizienten Algorithmen, herstellen lassen: das Konzept der geordneten binären Entscheidungsgraphen, das in zahlreichen CAD-Projekten zu einer beträchtlichen Leistungssteigerung geführt hat. Die Autoren stellen die Grundlagen dieses interdisziplinären Forschungsgebiets dar und behandeln wichtige Anwendungen aus dem rechnergestützten Schaltkreisentwurf.
Aktualisiert: 2023-07-02
> findR *

Mathematik für Informatiker

Mathematik für Informatiker von Schubert,  Matthias
Dieses Buch entstand ausgehend von der Frage, welche Mathematik Informatiker wirklich brauchen. Es vermittelt das mathematische Handwerkszeug fundiert und mathematisch präzise. Zugleich macht es deutlich, an welchen Stellen Sie dieses Wissen als Informatiker brauchen werden. Die große Anzahl von Übungsaufgaben hilft Ihnen, sich ganz gezielt auf Prüfungen vorzubereiten.
Aktualisiert: 2023-07-02
> findR *

Mathematik für Informatiker

Mathematik für Informatiker von Schubert,  Matthias
Dieses Buch entstand ausgehend von der Frage, welche Mathematik Informatiker wirklich brauchen. Es vermittelt das mathematische Handwerkszeug fundiert und mathematisch präzise. Zugleich macht es deutlich, an welchen Stellen Sie dieses Wissen als Informatiker brauchen werden. Die große Anzahl von Übungsaufgaben hilft Ihnen, sich ganz gezielt auf Prüfungen vorzubereiten.
Aktualisiert: 2023-07-02
> findR *

Mathematik für Informatiker

Mathematik für Informatiker von Schubert,  Matthias
Dieses Buch entstand ausgehend von der Frage, welche Mathematik Informatiker wirklich brauchen. Es vermittelt das mathematische Handwerkszeug fundiert und mathematisch präzise. Zugleich macht es deutlich, an welchen Stellen Sie dieses Wissen als Informatiker brauchen werden. Die große Anzahl von Übungsaufgaben hilft Ihnen, sich ganz gezielt auf Prüfungen vorzubereiten.
Aktualisiert: 2023-07-02
> findR *

Informatik

Informatik von Kastner,  Wolfgang, Schildt,  Gerhard-Helge
Diese Aufgabensammlung stellt eine sinnvolle Ergänzung zum Lehrbuch "Informatik" von Blieberger et al. dar, das mittlerweile in der 4. Auflage erschienen ist. Ziel der Aufgabensammlung ist es, durch das Lösen von Aufgaben den angebotenen Stoff zu vertiefen und zugleich anhand der Lösungen die eigene Bearbeitung zu überprüfen. Den Aufgaben und Lösungen zu den einzelnen Kapiteln werden jeweils Zusammenfassungen des Stoffes vorangestellt, die das Buch auch unabhängig vom Lehrbuch verwendbar machen.
Aktualisiert: 2023-07-02
> findR *

Informatik

Informatik von Kastner,  Wolfgang, Schildt,  Gerhard-Helge
Diese Aufgabensammlung stellt eine sinnvolle Ergänzung zum Lehrbuch "Informatik" von Blieberger et al. dar, das mittlerweile in der 4. Auflage erschienen ist. Ziel der Aufgabensammlung ist es, durch das Lösen von Aufgaben den angebotenen Stoff zu vertiefen und zugleich anhand der Lösungen die eigene Bearbeitung zu überprüfen. Den Aufgaben und Lösungen zu den einzelnen Kapiteln werden jeweils Zusammenfassungen des Stoffes vorangestellt, die das Buch auch unabhängig vom Lehrbuch verwendbar machen.
Aktualisiert: 2023-07-02
> findR *

Grundlagen der Informatik

Grundlagen der Informatik von Schaback,  Robert
Die bisher aufgetretenen Grundbegriffe lassen sich folgendermaßen zusammenfassen: Nachrichten haben Träger und Form; durch Interpretation gewinnt man aus ihnen Informationen. Sie werden in der Informatik durch Algorithmen verarbeitet. Ein Al gorithmus ist ein spezieller Typ von Nachricht. Er ist syntaktisch exakt beschrieben in einer Befehlssprache, deren Semantik auf eine Struktur von Operationen auf Mengen von Werten von Objekten abbildet. Die Befehlssprache wird auf unterster Sprache bene durch Ausführung interpretiert, während sie auf höherer Sprachebene in eine primitivere Sprache übersetzt wird. Semantik und Syntax der Befehlssprache müssen wegen der maschinellen Übersetzung und Interpretation regelhaft formuliert sein. Deshalb werden im Kapitel 4 formale Sprachen exakter eingeführt und genauer untersucht. Dabei wird die Rolle von meta sprachlichen Algorithmen zur Festlegung von Syntax und Semantik einer formalen Sprache deutlich. Deshalb kann man formale Sprachen, auch wenn sie nicht Befehls sprachen sind, nur unter Benutzung von Algorithmen beschreiben. Der Algorithmus begriff führt also zurück zu den formalen Sprachen und diese wiederum lassen sich nur mit Algorithmen (in Metasprache) darstellen. Das Vorgehen im Kapitel 4 wird vermutlich dem Leser etwas übertrieben abstrakt vor kommen. Der Grund ist, daß absolute Exaktheit in formalen Konstruktionen geübt werden soll. Zu exakten Konstruktionen in der Informatik benötigt man natürlich auch Grundelemente der exakten Wissenschaft par excellence, nämlich der Mathe matik. Dies wird hier aber lediglich als eine Erweiterung der Metasprache um ei nige hilfreiche Begriffskonstruktionen aufgefaßt. Deshalb werden die mathematischen Grundbegriffe im Kapitel 3 kurz zusammengestellt; dieses kann von mathematisch ausreichend vorgebildeten Lesern übersprungen werden.
Aktualisiert: 2023-07-02
> findR *

Grundlagen der Informatik

Grundlagen der Informatik von Schaback,  Robert
Die bisher aufgetretenen Grundbegriffe lassen sich folgendermaßen zusammenfassen: Nachrichten haben Träger und Form; durch Interpretation gewinnt man aus ihnen Informationen. Sie werden in der Informatik durch Algorithmen verarbeitet. Ein Al gorithmus ist ein spezieller Typ von Nachricht. Er ist syntaktisch exakt beschrieben in einer Befehlssprache, deren Semantik auf eine Struktur von Operationen auf Mengen von Werten von Objekten abbildet. Die Befehlssprache wird auf unterster Sprache bene durch Ausführung interpretiert, während sie auf höherer Sprachebene in eine primitivere Sprache übersetzt wird. Semantik und Syntax der Befehlssprache müssen wegen der maschinellen Übersetzung und Interpretation regelhaft formuliert sein. Deshalb werden im Kapitel 4 formale Sprachen exakter eingeführt und genauer untersucht. Dabei wird die Rolle von meta sprachlichen Algorithmen zur Festlegung von Syntax und Semantik einer formalen Sprache deutlich. Deshalb kann man formale Sprachen, auch wenn sie nicht Befehls sprachen sind, nur unter Benutzung von Algorithmen beschreiben. Der Algorithmus begriff führt also zurück zu den formalen Sprachen und diese wiederum lassen sich nur mit Algorithmen (in Metasprache) darstellen. Das Vorgehen im Kapitel 4 wird vermutlich dem Leser etwas übertrieben abstrakt vor kommen. Der Grund ist, daß absolute Exaktheit in formalen Konstruktionen geübt werden soll. Zu exakten Konstruktionen in der Informatik benötigt man natürlich auch Grundelemente der exakten Wissenschaft par excellence, nämlich der Mathe matik. Dies wird hier aber lediglich als eine Erweiterung der Metasprache um ei nige hilfreiche Begriffskonstruktionen aufgefaßt. Deshalb werden die mathematischen Grundbegriffe im Kapitel 3 kurz zusammengestellt; dieses kann von mathematisch ausreichend vorgebildeten Lesern übersprungen werden.
Aktualisiert: 2023-07-02
> findR *

Grundlagen der Informatik

Grundlagen der Informatik von Schaback,  Robert
Die bisher aufgetretenen Grundbegriffe lassen sich folgendermaßen zusammenfassen: Nachrichten haben Träger und Form; durch Interpretation gewinnt man aus ihnen Informationen. Sie werden in der Informatik durch Algorithmen verarbeitet. Ein Al gorithmus ist ein spezieller Typ von Nachricht. Er ist syntaktisch exakt beschrieben in einer Befehlssprache, deren Semantik auf eine Struktur von Operationen auf Mengen von Werten von Objekten abbildet. Die Befehlssprache wird auf unterster Sprache bene durch Ausführung interpretiert, während sie auf höherer Sprachebene in eine primitivere Sprache übersetzt wird. Semantik und Syntax der Befehlssprache müssen wegen der maschinellen Übersetzung und Interpretation regelhaft formuliert sein. Deshalb werden im Kapitel 4 formale Sprachen exakter eingeführt und genauer untersucht. Dabei wird die Rolle von meta sprachlichen Algorithmen zur Festlegung von Syntax und Semantik einer formalen Sprache deutlich. Deshalb kann man formale Sprachen, auch wenn sie nicht Befehls sprachen sind, nur unter Benutzung von Algorithmen beschreiben. Der Algorithmus begriff führt also zurück zu den formalen Sprachen und diese wiederum lassen sich nur mit Algorithmen (in Metasprache) darstellen. Das Vorgehen im Kapitel 4 wird vermutlich dem Leser etwas übertrieben abstrakt vor kommen. Der Grund ist, daß absolute Exaktheit in formalen Konstruktionen geübt werden soll. Zu exakten Konstruktionen in der Informatik benötigt man natürlich auch Grundelemente der exakten Wissenschaft par excellence, nämlich der Mathe matik. Dies wird hier aber lediglich als eine Erweiterung der Metasprache um ei nige hilfreiche Begriffskonstruktionen aufgefaßt. Deshalb werden die mathematischen Grundbegriffe im Kapitel 3 kurz zusammengestellt; dieses kann von mathematisch ausreichend vorgebildeten Lesern übersprungen werden.
Aktualisiert: 2023-07-02
> findR *
MEHR ANZEIGEN

Bücher zum Thema Boolesche Algebra

Sie suchen ein Buch über Boolesche Algebra? Bei Buch findr finden Sie eine große Auswahl Bücher zum Thema Boolesche Algebra. Entdecken Sie neue Bücher oder Klassiker für Sie selbst oder zum Verschenken. Buch findr hat zahlreiche Bücher zum Thema Boolesche Algebra im Sortiment. Nehmen Sie sich Zeit zum Stöbern und finden Sie das passende Buch für Ihr Lesevergnügen. Stöbern Sie durch unser Angebot und finden Sie aus unserer großen Auswahl das Buch, das Ihnen zusagt. Bei Buch findr finden Sie Romane, Ratgeber, wissenschaftliche und populärwissenschaftliche Bücher uvm. Bestellen Sie Ihr Buch zum Thema Boolesche Algebra einfach online und lassen Sie es sich bequem nach Hause schicken. Wir wünschen Ihnen schöne und entspannte Lesemomente mit Ihrem Buch.

Boolesche Algebra - Große Auswahl Bücher bei Buch findr

Bei uns finden Sie Bücher beliebter Autoren, Neuerscheinungen, Bestseller genauso wie alte Schätze. Bücher zum Thema Boolesche Algebra, die Ihre Fantasie anregen und Bücher, die Sie weiterbilden und Ihnen wissenschaftliche Fakten vermitteln. Ganz nach Ihrem Geschmack ist das passende Buch für Sie dabei. Finden Sie eine große Auswahl Bücher verschiedenster Genres, Verlage, Autoren bei Buchfindr:

Sie haben viele Möglichkeiten bei Buch findr die passenden Bücher für Ihr Lesevergnügen zu entdecken. Nutzen Sie unsere Suchfunktionen, um zu stöbern und für Sie interessante Bücher in den unterschiedlichen Genres und Kategorien zu finden. Unter Boolesche Algebra und weitere Themen und Kategorien finden Sie schnell und einfach eine Auflistung thematisch passender Bücher. Probieren Sie es aus, legen Sie jetzt los! Ihrem Lesevergnügen steht nichts im Wege. Nutzen Sie die Vorteile Ihre Bücher online zu kaufen und bekommen Sie die bestellten Bücher schnell und bequem zugestellt. Nehmen Sie sich die Zeit, online die Bücher Ihrer Wahl anzulesen, Buchempfehlungen und Rezensionen zu studieren, Informationen zu Autoren zu lesen. Viel Spaß beim Lesen wünscht Ihnen das Team von Buchfindr.