|
Showing 1 - 5 of
5 matches in All Departments
This book constitutes the tutorial lectures of the 4th European
Business Intelligence Summer School, eBISS 2014, held in Berlin,
Germany, in July 2014. The tutorials presented here in an extended
and refined format were given by renowned experts and cover topics
including requirements engineering for decision-support systems,
visual analytics of large data sets, linked data and semantic
technologies, supervised classification on data streams, and
knowledge reuse in large organizations.
|
Fundamental Approaches to Software Engineering - 5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings (Paperback, 2002 ed.)
Ralf-Detlef Kutsche, Herbert W Eber
|
R1,590
Discovery Miles 15 900
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering, FASE 2002, held in Grenoble, France, in April 2002.The 21 revised full papers and four tool presentations were carefully reviewed and selected from almost 60 submissions. The papers are organized in topical sections on formal frameworks, model and program analysis, architecture descriptions, meta-models, formal approaches towards UML, and requirements engineering.
This book constitutes 5 revised tutorial lectures of the 9th
European Business Intelligence and Big Data Summer School, eBISS
2019, held in Berlin, Germany, during June 30 - July 5, 2019. The
tutorials were given by renowned experts and covered advanced
aspects of business intelligence and big data. This summer school,
presented by leading researchers in the field, represented an
opportunity for postgraduate students to equip themselves with the
theoretical and practical skills necessary for developing
challenging business intelligence applications.
Dieses Buch ist ein Lehrbuch, das prazise die logischen und
mathematischen Grundlagen des automatischen Theorembeweisens
entwickelt. Es richtet sich an Studenten und Wissenschaftler der
Informatik, die damit auch Grundlagen von Symbolmanipulation,
formalen Spezifikationsmethoden sowie funktionaler und logischer
Programmierung erwerben koennen.Ausgehend von der Pradikatenlogik
werden theoretische Konzepte und Strategien fur automatische
Theorembeweiser vorgestellt. Dabei wird ein Bogen von der
Resolution uber die Paramodulation bis zurTermersetzung gespannt:
Der Resolutionskalkul stellt ein handwerkliches Regelsystem fur die
allgemeine Pradikatenlogik erster Stufe dar, seine Erweiterung um
die Paramodulation ermoeglicht, die Gleichheitsrelation adaquat
behandeln zu koennen. (, Ersetzen von Gleichem durch Gleiches);
schliesslich wird mit der ausfuhrlichen Behandlung von
Termersetzungssystemen eine operationale Sichtweise von reinen
Gleichungsmengen betont.
Dieses Buch ist entstanden aus einer Lehrveranstaltung, die wir in
den Jahren 1987 und 1988 konzipiert und weiterentwickelt haben. Sie
ist an der Technischen Universitlit Berlin unter dem Namen "LOGIK
II fUr Informatiker: Grundlagen des maschinellen Beweisens"
Bestandteil des Lehrangebots in Theoretischer Informatik und
schlieBt direkt an die "WGIK fUr Informatiker: F ormalisieren und
Beweisen" an. Das Buch richtet sich somit in erster Linie an
fortgeschrittene Student(inn)en im Informatik- Hauptstudium, aber
auch ganz allgemein an Wissenschaftler(innen) in Informatik und
Mathematik, die sich fUr die logischen Grundlagen des maschinellen
Theorembeweisens und die ersten Schritte zu deren Anwendung
interessieren. Eine Reihe wichtiger englischsprachiger BUcher in
diesem Themenfeld -wenn auch mit sehr unterschiedlichen
Schwerpunktsetzungen -ist seit dem Beginn der 70er Jahre
entstanden, U. a. Chang & Lee [CL73], Loveland [Lov78], Boyer
& Moore [BM79], Bibel [Bib82/87], Bundy [Bun83], Wos, Overbeek,
Lusk & Boyle [WOLB84], Gallier [GaI86], Genesereth &
Nilsson [GN87] und Padawitz [Pad88]; in deutscher Sprache etwa
Bllisius & BUrckert [BB87] oder Richter [Rich89]. Wir verstehen
unser Buch als Erglinzung solcher BUcher fUr den deutschen
Sprachraum mit dem Ziel, eine eher mathematisch orientierte
Einflihrung in diese Thematik zu geben. Wir knUpfen an
Grundkenntnisse der Logik an und stellen daher die spliter
benotigten Begriffe in Kapitell nur in gestraffter Form bereit.
Einen ersten Schwerpunkt bildet in Kapitel 2 die Resolution, ein
handlicher AbleitungskalkUl, der die Prlidikatenlogik erster Stufe
prinzipiell dem Rechner zuglinglich macht.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|