- inferieren
- in|fe|rie|ren<aus gleichbed. lat. inferre>(veraltet)1. hineintragen, als Einlage od. Mitgift zubringen;beitragen, darbringen, opfern.2. folgern, schließen
Das große Fremdwörterbuch. 2013.
Das große Fremdwörterbuch. 2013.
Inferieren — Als Schlussfolgerung bezeichnet man in der Logik einen von drei eng miteinander verwandten Sachverhalten: Eine Schlussfolgerung ist erstens ein sprachliches Gebilde, das aus einer Reihe von Aussagen einerseits, den Prämissen oder Annahmen (zum… … Deutsch Wikipedia
Funktionale Programmiersprache — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Funktionale Programmierung ist ein Programmierparadigma. Programme… … Deutsch Wikipedia
Funktionale Programmierung — ist ein Programmierstil, bei dem Programme ausschließlich aus Funktionen bestehen. Dadurch werden die aus der imperativen Programmierung bekannten Nebenwirkungen vermieden. Die funktionale Programmierung entspringt der akademischen Forschung. In… … Deutsch Wikipedia
Funktionionale Programmierung — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Funktionale Programmierung ist ein Programmierparadigma. Programme… … Deutsch Wikipedia
Wissensrepräsentation mit Logik — ist eine Art der Wissensrepräsentation, die auf formaler Logik basiert. Zum Aufbau wissensbasierter Systeme müssen Objekte der realen Welt in einer Sprache repräsentiert werden, die ein Computer versteht, damit er mit diesem Wissen umgehen kann.… … Deutsch Wikipedia
Typinferenz nach Hindley-Milner — Hindley Milner (HM) ist ein klassisches Verfahren der Typinferenz mit parametrischem Polymorphismus für den Lambda Kalkül. Es wurde erstmals von J. Roger Hindley[1] beschrieben und später von Robin Milner[2] wiederentdeckt. Luis Damas trug eine… … Deutsch Wikipedia
künstliche Intelligenz: Ein interdisziplinäres Forschungsgebiet — In den letzten Jahrzehnten hat die Computertechnik enorme Fortschritte gemacht, und zweifellos wird man Rechengeschwindigkeit, Speicherkapazität und logisches Design in den kommenden Jahrzehnten noch wesentlich weiter verbessern. Die Computer… … Universal-Lexikon
Inferenz — In|fe|renz die; , en <zu lat. inferre (vgl. ↑inferieren) u. ↑...enz> aufbereitetes Wissen, das aufgrund von logischen Schlussfolgerungen gewonnen wurde … Das große Fremdwörterbuch