» książki » Mathematics - Logic
topmenu
 |
Mathematik Für Informatik Und Bioinformatik
ISBN: 9783540205210 / Niemiecki / Miękka / 516 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Mathematik fur Informatik und BioInformatik ist eine speziell auf das Informatik- und BioInformatik-Studium zugeschnittene breite Einfuhrung in die Mathematik im Umfang der ersten drei bis vier Semester an Universitaten. Der klassische Stoff von Analysis und Linearer Algebra ist auf das Wesentliche konzentriert. Zusatzlich enthalten sind speziell fur Informatik und BioInformatik wichtige Gebiete der Diskreten Mathematik und Logik sowie der Stochastik und teilweise auch der Numerik. Unter der URL min.informatik.uni-tuebingen.de werden begleitend interaktive Ubungen und Illustrationen sowie... Mathematik fur Informatik und BioInformatik ist eine speziell auf das Informatik- und BioInformatik-Studium zugeschnittene breite Einfuhrung in die... |
cena:
206,88 |
 |
3. Österreichische Artificial-Intelligence-Tagung: Wien, 22–25. September 1987
ISBN: 9783540183846 / Niemiecki / Miękka / 181 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die dritte Osterreichische Artificial-Intelligence-Tagung fand vom 22.-25. September 1987 an der Technischen Universitiit Wien statt. Das Programm zeigt aktuelle Forschungsthemen und priisentiert Forschungseinrichtungen, die sich methodisch und aus Anwendersicht mit der Artificial Intelligence auseinandersetzen. 1985 veransta1tete die Osterreichische Gesellschaft fiir Artificial Intelligence ihre erste Tagung an der Universitiit Wien. 1986 wurde die Tagung gemeinsam mit unserer deutschen Schwestergesellschaft, dem FachausschuB 1.2 "Kunstliche Intelligenz und Mustererken nung" der Gesellschaft...
Die dritte Osterreichische Artificial-Intelligence-Tagung fand vom 22.-25. September 1987 an der Technischen Universitiit Wien statt. Das Programm zei...
|
cena:
206,88 |
 |
Attributierte Grammatiken und Attributierungsalgorithmen
ISBN: 9783540186502 / Niemiecki / Miękka / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Diese Monographie gibt einen systematischen Uberblick uber Attributierte Grammatiken als ein Mittel zur Darstellung und Analyse von Kontextabhangigkeiten in Compilern unter Betonung der fur Compiler-erzeugende Systeme erforderlichen Algorithmen. Attributierte Grammatiken sind ein inzwischen weltweit anerkanntes Mittel zur Beschreibung der statischen Semantik von Programmiersprachen. Mit der verstarkten Verbreitung von Compiler-Generatoren wird es auch fur den Praktiker interessant, fur spezielle Zwecke geeignete Sprachen zu entwickeln und zu implementieren. Diese ausfuhrliche vergleichende...
Diese Monographie gibt einen systematischen Uberblick uber Attributierte Grammatiken als ein Mittel zur Darstellung und Analyse von Kontextabhangigkei...
|
cena:
206,88 |
 |
Räumliche Vorstellung Und Mathematisches Erkenntnisvermögen: Erster Band
ISBN: 9789027700896 / Niemiecki / Miękka / 137 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
206,88 |
 |
Räumliche Vorstellung Und Mathematisches Erkenntnisvermögen: Zweiter Band
ISBN: 9789027700902 / Niemiecki / Miękka / 59 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
206,88 |
 |
Interaktives Entwerfen großer Programmsysteme: Konzepte und Werkzeuge
ISBN: 9783540505532 / Niemiecki / Miękka / 179 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Im Rahmen des Forschungsprojektes IPSEN (Incremental Programming Support Environment) wurden Konzepte zum Bau hochgradig interaktiver und integrierter Software-Entwicklungsumgebungen erarbeitet und ihre Brauchbarkeit in einer Prototyp-Implementierung nachgewiesen. Die wesentlichen Charakteristika des IPSEN-Ansatzes sind der hohe Grad an Integration verschiedener Software-Werkzeuge und -Dokumente und der Einsatz eines einheitlichen Modellierungs- und Realisierungsmechanismus fur Software-Entwicklungsumgebungen. Software-Dokumente werden intern als attributierte Graphstrukturen modelliert, und...
Im Rahmen des Forschungsprojektes IPSEN (Incremental Programming Support Environment) wurden Konzepte zum Bau hochgradig interaktiver und integrierter...
|
cena:
206,88 |
 |
Automated Theorem Proving
ISBN: 9783528085209 / Niemiecki / Miękka / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Among the dreams of mankind is the one dealing with the mecha nization of human thought. As the world today has become so complex that humans apparently fail to manage it properly with their intellectual gifts, the realization of this dream might be regarded even as something like a necessity. On the other hand, the incredible advances in computer technology let it appear as a real possibility. Of course, it is not easy to say what sort of thing human thinking actually is, a theme which over the centuries occupied many thinkers, mainly philosophers. From a critical point of view most of their...
Among the dreams of mankind is the one dealing with the mecha nization of human thought. As the world today has become so complex that humans apparent...
|
cena:
206,88 |
 |
Informationsmodellierung in XML Und SGML
ISBN: 9783642640469 / Niemiecki / Miękka / 245 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die Extensible Markup Language (XML), eine vereinfachte Version der Standard Generalized Markup Language (SGML), wurde f r den Austausch strukturierter Daten im Internet entwickelt. Informationen k nnen damit nicht nur in einem einheitlichen, medienunabh ngigen Format strukturiert werden, sondern auch die Strukturierungsprinzipien selbst sind durch ein formales Regelwerk, eine Grammatik, beschreibbar. Erst so werden weitergehende Verarbeitungsprozesse wie geleitete Dateneingaben, Datenkonvertierung, flexibles Navigieren und Viewing der Daten m glich. Neben der elementaren...
Die Extensible Markup Language (XML), eine vereinfachte Version der Standard Generalized Markup Language (SGML), wurde f r den Austausch strukturierte...
|
cena:
206,88 |
 |
Neuronale Netze: Optimierung Durch Lernen Und Evolution
ISBN: 9783642645358 / Niemiecki / Miękka / 290 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In diesem Buch findet der Leser effiziente Methoden zur Optimierung Neuronaler Netze. Insbesondere durch die ausfuhrliche Behandlung des Reinforcement Learning und der Evolutiven Optimierung geht es uber den Inhalt der bisherigen Lehrbucher zum Thema Neuronale Netze hinaus. Die Optimierung neuronaler Modelle wird in folgende Faktoren aufgeteilt: Neuronale Modelle, Lernprobleme, Optimierungsverfahren und Hardwareimplementierung. Dadurch erhalt der Leser die Moglichkeit, in seiner eigenen Anwendung die Bausteine seinen Zielen entsprechend zu kombinieren: Neuronales Modell vs....
In diesem Buch findet der Leser effiziente Methoden zur Optimierung Neuronaler Netze. Insbesondere durch die ausfuhrliche Behandlung des Reinforcement...
|
cena:
206,88 |
 |
Formale Sprachen: Eine Einführung
ISBN: 9783528033231 / Niemiecki / Miękka / 271 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Der Inhalt dieses Buches gehort zum mittlerweile festen Reper toire des theoretischen Teils der Informatik. Den Schwerpunkt der angestellten Untersuchungen bilden die kontextfreien Sprachen, deren An endungen bei weitem die interessantesten sind. Die Theorie w rd in "klassischen Bahnen" entwickelt, urn eine breite Darstellung der spezifischen Beweismethoden zu er moglichen, da diese ja haufig auch schon Losungsalgorithmen fur die zentralen Problemstellungen implizieren. Dadurch ist der Charakter einer Einfuhrung weitgehend gewahrt. Wir hoffen, daE so einerseits dem theoretisch Interessierten...
Der Inhalt dieses Buches gehort zum mittlerweile festen Reper toire des theoretischen Teils der Informatik. Den Schwerpunkt der angestellten Untersuch...
|
cena:
206,88 |
 |
Wissensbasierte Systeme: 2. Internationaler GI-Kongreß München, 20./21. Oktober 1987
ISBN: 9783540184942 / Niemiecki / Miękka / 432 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Wissensbasierte Systeme wurden in den letzten Jahren uber die Stadien des Experimentierens, der For schung und der Entwicklung hinaus zu interessanten Produkten der Informatikindustrie und werden im mer mehr zu wichtigen Arbeitsmitteln fur Fachleute und Mitarbeiter in der Wirtschaft, in der Verwaltung und im Bildungsbereich. Der Einsatz dieser Systeme ist verbunden mit betrachtlichen Veranderungen in der Organisationsstruktur und in den Tatigkeitsablaufen, aber auch in den Qualifikationsanforderungen fur Mitarbeiter. Er hat Aus wirkungen auf Unternehmensstrategien, Arbeitsbedingungen und das...
Wissensbasierte Systeme wurden in den letzten Jahren uber die Stadien des Experimentierens, der For schung und der Entwicklung hinaus zu interessanten...
|
cena:
206,88 |
 |
Theorie Der Logischen Programmierung: Eine Elementare Einführung
ISBN: 9783540557029 / Niemiecki / Miękka / 246 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die Programmiersprache Prolog hat ihre Bewahrungsprobe im praktischen Einsatz bestanden, und das logische Programmieren hat unter den Programmiertechniken seinen festen Platz gefunden. Worin liegen Attraktion und Nutzen des logischen Programmierens, was sind die charakteristischen Unterschiede zu anderen Programmiertechniken, und welche Rolle kommt der Theorie des logischen Programmierens zu? Dieses Buch macht den Leser mit den Grundlagen und Moglichkeiten der logischen Programmierung vertraut. Die ausfuhrliche Darstellung mit Ubungsaufgaben und ausgewahlten Losungen setzt keine speziellen...
Die Programmiersprache Prolog hat ihre Bewahrungsprobe im praktischen Einsatz bestanden, und das logische Programmieren hat unter den Programmiertechn...
|
cena:
206,88 |
 |
Fuzzy-Logik: Einführung in Die Algebraischen Und Logischen Grundlagen
ISBN: 9783540566588 / Niemiecki / Miękka / 315 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Der Begriff "Fuzzy" - 1965 von Lofty A. Zadeh in einer Erweiterung der gewohnlichen Mengenlehre auf die Verknupfung unscharfer Mengen kreiert - hat seine Anwendung in zahlreichen Gebieten der Technik gefunden. In diesem Lehrbuch erhalt der Leser eine leicht verstandliche Einfuhrung in die mathematischen und logischen Grundlagen. Er soll in die Lage versetzt werden, die fur die Fuzzy-Logik spezifischen algebraischen und logischen Arbeitsmethoden operativ einzusetzen. Das Lehrbuch wurde mit dem Ziel entwickelt, insbesondere im Selbststudium das Werkzeug "Fuzzy" fur die berufspraktische...
Der Begriff "Fuzzy" - 1965 von Lofty A. Zadeh in einer Erweiterung der gewohnlichen Mengenlehre auf die Verknupfung unscharfer Mengen kreiert - hat se...
|
cena:
206,88 |
 |
Dynamische Integrität von Datenbanken: Grundlagen der Spezifikation und Überwachung
ISBN: 9783540511304 / Niemiecki / Miękka / 140 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Aufgabe des Datenbank-Entwurfs ist es, nicht nur die statische Struktur, sondern auch das dynamische Verhalten eines Datenbanksystems zu spezifizieren. Um festzulegen, welche Folgen von Datenbankzustanden zulassig sind, gibt man dynamische Integritatsbedingungen an. Komplementar dazu bestimmen Transaktionen als Grundbausteine von Anwendungsprogrammen die ausfuhrbaren Zustandsfolgen. Diese Monographie stellt zwei Ansatze zur Uberwachung der dynamischen Integritat von Datenbanken vor. Es werden theoretische und algorithmische Grundlagen sowie die beim Datenbank-Entwurf erforderlichen...
Aufgabe des Datenbank-Entwurfs ist es, nicht nur die statische Struktur, sondern auch das dynamische Verhalten eines Datenbanksystems zu spezifizieren...
|
cena:
206,88 |
 |
Wissensbasierte Systeme: 3. Internationaler Gi-Kongreß München, 16.-17. Oktober 1989 Proceedings
ISBN: 9783540518389 / Niemiecki / Mikrofilm / 544 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Durch die Reihe der GI-Kongresse uber wissensbasierte Systeme wird eine grossere Offentlichkeit uber den Stand der Entwicklung sowohl in den Entwurfsmethoden und Konstruktionstechniken als auch in der industriellen Anwendung unterrichtet. Ein wichtiges Ziel ist dabei, auf das grosse Potential an Anwendungsmoglichkeiten hinzuweisen und intensivere Kooperation zwischen verschiedenen Gebieten anzuregen. Behandelt werden diesmal neben den Grundlagen, Entwicklungen und Anwendungen von Expertensystemen auch maschinelles Lernen, naturlichsprachliche Systeme und Konnektionismus. Einen grossen Raum...
Durch die Reihe der GI-Kongresse uber wissensbasierte Systeme wird eine grossere Offentlichkeit uber den Stand der Entwicklung sowohl in den Entwurfsm...
|
cena:
206,88 |
 |
Benutzerhandbuch Für Die Interaktive Geometrie-Software: Cinderella Version 1.2
ISBN: 9783540679684 / Niemiecki / Twarda / 138 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Cinderella ist eine einzigartige, technisch ausgereifte interaktive Geometrie-Lernsoftware, die sich ausgezeichnet fur Studenten zum Erlernen der Euklidischen, projektiven, spharischen und hyperbolischen Geometrie eignet. Aufgrund seines leistungsfahigen mathematischen Kerns kann Cinderella jedoch ebenfalls als Werkzeug fur Wissenschaftler in der Forschung auf dem Gebiet der Geometrie und Komplexitatstheorie Anwendung finden. Die Software enthalt einen eingebauten automatischen Beweiser fur geometrische Satze. Durch eine einfache Exportfunktion kann Cinderella als Werkzeug zum Gestalten von...
Cinderella ist eine einzigartige, technisch ausgereifte interaktive Geometrie-Lernsoftware, die sich ausgezeichnet fur Studenten zum Erlernen der Eukl...
|
cena:
206,88 |
 |
Mathematik Interaktiv Und Verständlich: Für Naturwissenschaftler, Ingenieure Und Mediziner
ISBN: 9783662655474 / Niemiecki / Miękka / 1012 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Buch deckt alle relevanten mathematischen Themen eines Grundstudiums der Natur- oder Ingenieurwissenschaften ab, von der Analysis (inklusive einer ausführlichen Behandlung gewöhnlicher Differentialgleichungen mitsamt Modellierungsaspekten) und der linearen Algebra bis hin zu den wichtigsten Lösungsmethoden für partielle Differentialgleichungen.Das selbstständige Erlernen der Inhalte wird durch zahlreiche anwendungs- und praxisrelevante Beispiele motiviert und durch interaktive Aufgaben, verlinkte Videos und Repetitionsfragen gefördert.Außerdem werden die Studierenden durch...
Dieses Buch deckt alle relevanten mathematischen Themen eines Grundstudiums der Natur- oder Ingenieurwissenschaften ab, von der Analysis (inklusive ei...
|
cena:
206,88 |
 |
Mathematik F?r Die Informatik: Grundlegende Begriffe, Strukturen Und Anwendungen
ISBN: 9783658441487 / Niemiecki Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
206,88 |
 |
Journal of Applied Logics. The IfCoLog Journal of Logics and their Aplications. Volume 12, issue 3, March 2025
ISBN: 9781848904835 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
207,17 |
 |
Ockham Algebras
ISBN: 9780198599388 / Angielski / Twarda / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Ockham algebras--the natural generalization of a well known and important notion of a boolean algebra--has an infinite amount of subvarieties, including those of de Morgan, Stone, and Kleene algebras. This book, the first unified account of the subject, details the many important breakthroughs that have occurred in this area of lattice theory since Berman's pioneering work in 1977. Particular emphasis is placed on Priestley's topological duality, which involves ordered sets and order-reversing maps. With its many illustrative examples and substantial bibliography, Ockham Algebras is the...
Ockham algebras--the natural generalization of a well known and important notion of a boolean algebra--has an infinite amount of subvarieties, includi...
|
cena:
208,09 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
