Neues Lernen mit neuen Mitteln (Tagungsband)Zum Shop

Neues Lernen mit neuen Mitteln

3. Tagung der DGTB in Ludwigsfelde vom 28.10. bis 30.10.1999

EUB. Erziehung – Unterricht – Bildung

Der Tagungsband informiert in 16 Beiträgen über die Ergebnisse einer Tagung der Deutschen Gesellschaft für Technische Bildung e. V., in der die Frage im Mittelpunkt stand, wie und wann die neuen Medien pädagogisch sinnvoll im Technikunterricht eingesetzt werden können. Durch die enge Beziehung zum realen…

BildungComputersimulationComputerunterstütztes LernenDigitalisierungE-LearningFachraumgestaltungInternetInternetlernenLeiterplattenentwurfLernsoftwarePädagogikTechnikunterrichtTechnische Bildung
Learning Search Heuristics for Automated Deduction (Forschungsarbeit)Zum Shop

Learning Search Heuristics for Automated Deduction

Forschungsergebnisse zur Informatik

Viele Probleme in der Informatik, speziell im Teilgebiet der Künstlichen Intelligenz (KI), werden mit Verfahren bearbeitet, die auf Suche basieren. Zu diesen Suchproblemen zählt auch die automatische Deduktion. Probleme aus diesem Bereich gehören zu den schwierigsten Suchproblemen. Gerade hier ist es unbestritten,…

AIArtificial IntelligenceAutomated DeductionAutomatische DeduktionHeuristische SucheInformatikKIKünstliche IntelligenzMaschinelles LernenMenschliches VerhaltenProblemlöseverhaltenSuchheuristikSuchmethoden