»Logik«

Eine schlagwortbasierte Auswahl unserer Fachbücher

<<
<
1
2
3
 4  >>>

Problemlöseprozesse in Kleingruppen (Forschungsarbeit)

Problemlöseprozesse in Kleingruppen

Eine experimentelle Untersuchung zur individuellen und kollektiven Induktion

Studienreihe psychologische Forschungsergebnisse

Hamburg 1996, ISBN 978-3-86064-384-6

In vielen gesellschaftlichen Bereichen gilt die Arbeitsgruppe als ein wichtiger Bestandteil der Entscheidungsfindung (z.B. politische Gremien, betriebsinterne Arbeitsgruppen, das amerikanische Geschworenensystem etc.). Dabei werden Gruppen häufig implizit für produktiver als Einzelpersonen [...]

Entscheidungsprozess, Gruppe, Hypothesentest, Induktion, Logik, Problemlösung, Prozessanalyse, Psychologie, Urteilsbildung

Trennlinie

Transformationsbasierte temporallogische Programmierung (Forschungsarbeit)

Transformationsbasierte temporallogische Programmierung

Forschungsergebnisse der Programmentwicklung

Hamburg 1996, ISBN 978-3-86064-402-7

IIn dieser Arbeit wird die Möglichkeit der transformationsbasierten temporallogischen Programmierung untersucht. Dabei werden neben den einfacher zu handhabenden deterministischen zukunftsbezogenen Konstrukten wie etwa next sowohl nichtdeterministische Konstrukte wie or und [...]

ExTeLL, Informatik, Programmierlogik, Programmiersprache, Programmierung, Reduktion, Temporallogik, Transformation

Trennlinie

Einführung in die Philosophie (Forschungsarbeit)

Einführung in die Philosophie

Grundlegende Begriffe und Vorstellungen im Rahmen einer essentiellen Philosophie

BOETHIANA – Forschungsergebnisse zur Philosophie

Hamburg 1993, ISBN 978-3-86064-112-5

Diese Einführung in die Philosophie gibt einen Überblick über die Hauptgebiete philosophischen Denkens sowie ihren Umfang und die gebotenen Abgrenzungen. Besonderer Wert wird dabei auf verständliche Erläuterungen und Darstellung der grundlegenden Bezeichnungen gelegt. Präzise Formulierungen [...]

Abendländische Philosophie, Erkenntnislehre, Ethik, Geschichtswissenschaft, Kosmogonie, Kosmologie, Logik, Metaphysik, Ontologie, Philosophie, Sein

Trennlinie

Problemlösungsverfahren zur Verarbeitung inkonsistenter Theorien (Forschungsarbeit)

Problemlösungsverfahren zur Verarbeitung inkonsistenter Theorien

Forschungsergebnisse zur Informatik

Hamburg 1993, ISBN 978-3-86064-059-3

Shirin Bakthari setzt sich zum Ziel, eine Symbiose herzustellen zwischen zwei Forschungsrichtungen: der parakonsistenten Logik einerseits und der Künstlichen Intelligenz andererseits, indem bei der Entwicklung von Problemlösungsverfahren, die einen methodischen Umgang mit Inkonsistenz aufweisen, [...]

Informatik, inkonsistente Theorien, Inkonsistenz, KI-Paradigma, Künstliche Intelligenz, nicht-klassische Logik, parakonsistente Logik, Problemlösungsverfahren, Verarbeitung

Trennlinie

Analogieschlüsse beim automatischen Beweisen (Forschungsarbeit)

Analogieschlüsse beim automatischen Beweisen

Forschungsergebnisse zur Informatik

Hamburg 1992, ISBN 978-3-86064-006-7

Was macht den Menschen intelligenter als die Maschine?

Einer von vielen Gründen ist: der Mensch kann richtige Analogien erkennen und ausnützen und somit analoge Probleme ohne den analogen Aufwand lösen. Der Autor bezweckt, dieses Defizit aus Maschinensicht zu verringern. [...]

Ähnlichkeitsfunktion, Algorithmen, Analogie, automatisches Beweisen, Bewertungsfunktion, Informatik, Klassifikation, Konnektions-Methode, Prädikatenlogik

Trennlinie
<<
<
1
2
3
 4  >>>

nach oben

Eine Auswahl unserer Fachbücher.