Logo der Freien Universität BerlinFreie Universität Berlin

Fachbereich Mathematik und Informatik


Service-Navigation

  • Startseite
  • Personen
  • Kontakt
  • Imprint
  • Datenschutz
Hinweise zur Datenübertragung bei der Google™ Suche
Fachbereich Mathematik und Informatik/Informatik/

Dahlem Center for Machine Learning and Robotics

Menü
  • Members

    loading...

  • Open Positions

    loading...

  • Publications

    loading...

  • Teaching

    loading...

  • Theses

    loading...

  • Projekte

    loading...

  • News

    loading...

  • Videos

    loading...

  • FAQs

    loading...

Mikronavigation

  • Startseite
  • Informatik
  • Arbeitsgruppen
  • Dahlem Center for Machine Learning and Robotics
  • Teaching
  • Sommersemester 2017
  • Künstliche Intelligenz

Künstliche Intelligenz

Suchverfahren für die Lösung kombinatorischer Aufgaben; Klassische und Nichtklassische Logiken und ihre Mechanisierung; DPLL, Resolution, Tableauxverfahren und Theorembeweisen; Wissensbasierte- und Expertensysteme; Mensch-Maschinen-Schnittstellen; Mustererkennung insbesondere für interaktive Anwendungen.

(19303701 / 19303702)

TypVL/Ü
Dozent/inRaúl Rojas
Anmeldemodalität

Module zu dieser LV

Zeit

Blockveranstaltung vor bzw. nach SS17:

Vorlesungszeiten:

  • 05.04.-13.04., T9.006, Dozent: R. Rojas
  • 07.08.-15.08., T9.006, Dozent: C. Benzmüller

Am 07.04. und 10.04. findet die Veranstaltung im SR049 der Takustr. 9 statt.

Links auf Kursbeschreibung

  • Vorlesungsverzeichnis (VV)
  • Kommentiertes Vorlesungsverzeichnis (KVV)
be-digital Pressekonferenz am 07.12.15Mexico Oktober 2015MiG Mexico 2015Finalisten German Open 2014Simulator-Erfinder: Professor Raul Rojas (l.) und David Dormagen von der AG Intelligente Systeme und RobotikMadeInGermany in MexicoThe Tony Sale Award winners 2014: Robert B Garner (L) and  Raul Rojas (R), Nov. 2014Able und BakerCarolo-Cup-Team2014Formalisierung und Automatisierung von Gödels GottesbeweisAutoNOMOS-Team 2011Besuch Senatorin Yzer am 22.03.13Die autonomen Fahrzeuge der AG Intelligente Systeme und RobotikArchaeocopterMulticopterEntwicklung einer Roboterbiene

Dates

spinner

News

spinner

Service-Navigation

  • Startseite
  • Personen
  • Kontakt
  • Imprint
  • Datenschutz

Diese Seite

  • Drucken
  • RSS-Feed abonnieren