Logic and
Theory of
Discrete Systems

Informatik 7

Computational Group Theory (SS 2014)

Allgemeine Information über die Vorlesung und Übung (3V+2Ü) findet man auch im Campus der RWTH.

 

Voraussetzungen

Pflichtvorlesungen aus den Bereichen Theoretische Informatik und Mathematik aus dem B.Sc. Informatik

Beschreibung

Verschiedene Möglichkeiten der Codierung von Gruppen im Computer werden betrachtet. Algorithmen zur Berechnung elementarer Eigenschaften und Objekten in Gruppen wie Ordnungen von Elementen, Ordnungen der Gruppe und günstigen Erzeugendensystemen werden dann erarbeitet. Der Fokus liegt hierbei auf Algorithmen für Permutationsgruppen.


Literaturhinweise

  • Permutation Group Algorithms [Ákos Seress]
  • Handbook of Computational Group Theory [Derek F. Holt , Bettina Eick, Eamonn A. O'Brien]

L2P Lernraum

Virtueller Lernraum zur Vorlesung. (Anmeldung über Campus erforderlich.)

 

 

FaLang translation system by Faboba