|
Ausarbeitung zum Proseminar-Vortrag |
|
|
|
|
Written by Carsten Rösnick
|
|
Donnerstag, 17 Juli 2008 |
|
Hier nun die die angekündigte Ausarbeitung zum Vortrag im Proseminar "Refactorings, Patterns and Bad Smells", zu finden unter Computer Science > Proseminar oder alternativ über den Quasi-Direktlink. Viel Freude damit :-) |
|
|
Written by Carsten Rösnick
|
|
Mittwoch, 02 Juli 2008 |
|
Nach langer Zeit der Stille gibt es wieder zwei offizielle Uploads: - Kurzvortrag "3COL reduziert auf SAT" in der Veranstaltung "Mathematik am Computer" (Quasi-Direktlink )
- Proseminarvortrag zum Thema "Formalisierung von Refactorings mittels Graphrepräsentationen und -transformationen" (Quasi-Direktlink)
Folgen wird kommende Woche noch die Ausarbeitung zu letzterem Vortrag, sowie binnen der nächsten drei Monate die Ausarbeitung meiner Bachelorarbeit (Thema: "Effiziente Implementierung der He-Lusztig-Ordnung auf der symmetrischen Gruppe"). |
|
Last Updated ( Mittwoch, 02 Juli 2008 )
|
|
|
Clique poly. reduziert auf BinProgramming |
|
|
|
|
Written by Carsten Rösnick
|
|
Dienstag, 10 Juli 2007 |
Auf Wunsch eines Mitstudenten stelle ich hier mal den Beweis zu Clique <=_p ("polynomiell reduziert auf") BinProgramming vom Ende des letzten Semesters online. Viel Spass damit!  |
|
|
Neue Kategorien & Anfrage |
|
|
|
|
Written by Carsten Rösnick
|
|
Dienstag, 10 Juli 2007 |
Aloha folks Nach langer Zeit mal wieder etwas Neues. Unter "Computer Science" findet ihr zwei neue Kategorien: Datenbanken 07 und SwtPra 07. In beiden Fällen handelt es sich um Notizen zu den Folien der jeweiligen Vorlesung an der Universität Paderborn. Nun zu meiner (im Titel benannten) Anfrage: |
|
Last Updated ( Mittwoch, 11 Juli 2007 )
|
|
Read more...
|
|
|
Written by Carsten Rösnick
|
|
Samstag, 27 Januar 2007 |
|
Mein erster niedlicher, kleiner Beweis zum Thema Komplexität, den ich on stelle. Hierbei handelt es sich um den Beweis, dass 3COL (das Problem der 3-Färbbarkeit eines Graphen G=(V,E)) polynomiell reduzierbar ist auf SAT. Für alle, die es interessiert: Ihr findet den Beweis als PDF unter "Computer Science > Berechenbarkeit, Komplexität". Solltet ihr noch Fehler im Beweis finden, so fände ich es außerordentlich schön, wenn ihr mir diese kurz mitteilen könntet! |
|
Last Updated ( Samstag, 27 Januar 2007 )
|
|
|
|
Computer Science