|
|
|
|
|
|
|
| | Zitat von TriggerTG
Achtung: Im GS-Verteiler ab sofort keine jdo-Witze mehr schreiben. Diese müssen ab sofort in den noch geheimeren Verteiler geposted werden!
| |
Kanns sein, dass ich nicht mehr im Verteiler drinne stehe? 
|
|
|
|
|
|
|
|
|
|
|
|
Doch doch, aber in den betreffenden EMails sind ein paar sehr unschöne Wörter gefallen. Ist bestimmt bei dir im Spamordner gelandet
|
|
|
|
|
|
|
|
|
|
|
Was es nicht alles gibt:
http://rush.heroku.com/
rush is a replacement for the unix shell (bash, zsh, etc) which uses pure Ruby syntax. Grep through files, find and kill processes, copy files - everything you do in the shell, now in Ruby. Previously if you wanted to count the number of classes in your project, you might use a bash command like: [...]
|
|
|
|
|
|
|
|
|
|
|
Guten Morgen! Mal schauen ob ich es heute zu Kabel BW schaffe, der Vertrag war tatsächlich schon auf gestern gekündigt und ich wurde falsch informiert. Jemand von euch eine Ahnung ob ich denen nicht einfach die MAC-Adresse vom bisherigen Modem geben kann, dass man sich die ganze Bürokratie mit zurückschicken, neues Modem bekommen, einbauen sparen kann?
---
| | Zitat von [DK]Peacemaker
| |
| Code: |
writer.EndListItem(); |
|
| |
Gibts in BBCode nicht.
|
|
|
|
|
|
|
|
|
|
|
| | Zitat von TriggerTG
Was es nicht alles gibt:
http://rush.heroku.com/
rush is a replacement for the unix shell (bash, zsh, etc) which uses pure Ruby syntax. Grep through files, find and kill processes, copy files - everything you do in the shell, now in Ruby. Previously if you wanted to count the number of classes in your project, you might use a bash command like: [...]
| |
rlwrap ruby
|
|
|
|
|
|
|
|
|
|
|
| | Zitat von TriggerTG
Achtung: Im GS-Verteiler ab sofort keine jdo-Witze mehr schreiben. Diese müssen ab sofort in den noch geheimeren Verteiler geposted werden!
| |
Du Klatschweib! 
|
|
|
|
|
|
|
|
|
|
|
außerdem gehört da ein i hinten dran und nicht ein a!
|
|
|
|
|
|
|
|
|
|
|
:<
Bei mir sind Geheimnisse jeglicher Art sicher!
|
|
|
|
|
|
|
|
|
|
|
| | Zitat von TriggerTG
Doch doch, aber in den betreffenden EMails sind ein paar sehr unschöne Wörter gefallen. Ist bestimmt bei dir im Spamordner gelandet
| |
Ich hab nichts. Welche E-Mail-Adresse steht drinne?
|
|
|
|
|
|
|
|
|
|
|
| | Zitat von Danzelot
Gibts in BBCode nicht.
| |
Paragraphen auch nicht, wie gesagt, das ist erst mal nur ein Übersetzer von sequentiellen Befehlen. Den eigentlichen BB-Parser muss ich erst noch schreiben, kann dann aber eine ganze Menge Fallbehandlungen ignorieren und Zeichen für Zeichen verarbeiten.
|
|
|
|
|
|
|
|
|
|
|
|
Wobei sich mir so ein bisschen die Frage stellt, wo da jetzt der Vorteil gegenüber einem handelsüblichen Recursive Descent-Parser liegt?
|
|
|
|
|
|
|
|
|
|
|
|
warum leckt sich der Hund die Eier?
|
|
|
|
|
|
|
|
|
|
|
| | Zitat von igor]2
Wobei sich mir so ein bisschen die Frage stellt, wo da jetzt der Vorteil gegenüber einem handelsüblichen Recursive Descent-Parser liegt?
| |
Kannte ich bisher noch nicht. Der Vorteil liegt für mich eigentlich nur darin, dass es vielleicht funktionieren könnte. Das ist ein "vielleicht" weniger, als bei anderen Versuchen!!!
|
|
|
|
|
|
|
|
|
|
|
| | Zitat von [DK]Peacemaker
Kannte ich bisher noch nicht.
| |
Im Wesentlichen baust du einen, nur mit explizitem Stack statt Rekursion und ohne Backtracking, soweit ich das sehe. Funktionieren sollte dieser Ansatz daher zumindest recht sicher.
|
|
|
|
|
|
|
|
|
|
|
| | Zitat von SkunkyVillage
| | Zitat von TriggerTG
Doch doch, aber in den betreffenden EMails sind ein paar sehr unschöne Wörter gefallen. Ist bestimmt bei dir im Spamordner gelandet
| |
Ich hab nichts. Welche E-Mail-Adresse steht drinne?
| |
Das war ein Gag 
Es gab in letzter Zeit keine EMails im Verteiler.
Laut Liste bist du nach wie vor drin. Siehe https://groups.google.com/group/gehirnsalat?hl=de
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Hm, WeGi möchte Mitglied der Gehirnsalat-Gruppe werden. Hmmm, ohne Stats ist das schwer zu beurteilen! Aber viele Posts werden es nicht sein.
Soll er in die erlauchte Gruppe eintreten dürfen?
|
|
|
|
|
|
|
|
|
|
|
Aus den Kommentaren: http://www.penny-arcade.com/comic/2005/12/12/
------------------------------
Was würdet ihr denn empfehlen, wenn ich in JavaScript eine Menge von Objekten habe, die ich sortieren will.
Die Objekte sehen ungefähr so aus:
| |
| Code: |
{
path : 'pack/aged/file.js',
depth : 3
}
|
|
Sortiert werden soll nach Depth. Verschiedene Objekte können den gleichen Wert für das Path-Attribut haben, wobei von diesen Objekten nur das mit dem höchsten Wert für Depth übrig bleiben soll.
Gibt es eine Lösung, die beides kann? Ansonsten würde ich wohl zu Quicksort greifen und dann beim Verarbeiten der sortierten Menge, die doppelten Elemente rauswerfen.
|
|
|
|
|
|
|
|
|
|
|
Gibt es für Rockbox ne Möglichkeit die HOLD-Funktion (aka Keylock) zu modifizieren?
Man muss dafür nämlich die Home-Taste + die Enter-Taste drücken. Dafür brauch ich zwei Hände. Schöner wäre es wie bei der Original-Firmware (Home-Taste lange drücken).
Am Besten wäre natürlich ein hardwareseitiger Schiebeschalter gewesen 
|
|
|
|
|
|
|
|
|
|
|
Wenn du die alle in ein Array packst kannst du ja einfach sort() verwenden, mit einer Callback funktion a la:
[obj1, obj2].sort(function(a,b) { return a.path.match(/\\/g).length > b.path.match(/\\/g).length; });
Noch einfacher:
[obj1, obj2].sort(function(a, b) { return a.path > b.path; }
|
|
[Dieser Beitrag wurde 1 mal editiert; zum letzten Mal von Teufel am 12.01.2011 14:17]
|
|
|
|
|
|
|
|
|
An Array.sort() hab ich natürlich nicht gedacht, danke.
In deinem Beispiel sortierst du nach der Länge der Strings, sehe ich das richtig?
|
|
|
|
|
|
|
|
|
|
|
| | Zitat von Smoking
An Array.sort() hab ich natürlich nicht gedacht, danke.
In deinem Beispiel sortierst du nach der Länge der Strings, sehe ich das richtig?
| |
Nene, das war nur weil ich path nicht gesehen hatte. Da hab ich dann nach der Anzahl der "/" im String gemacht, aber mit path ist das natürlich klüger.
/edit:
Ach gott bin ich heute unnütz:
array.sort(function(a, b) { return a.depth > b.depth; });
Da, nach depth absteigend sortiert.
|
|
[Dieser Beitrag wurde 1 mal editiert; zum letzten Mal von Teufel am 12.01.2011 14:55]
|
|
|
|
|
|
|
|
|
| | Zitat von TriggerTG
Hmm, am besten wär jemand der dazu monatelang Hausaufgaben kontrollieren musste. Oder einer der das in seiner mündlichen Prüfung mit einigen ausführlichen Beweisen unterlegt hat.
Leider werd ich jetzt ins Bett | |
Sag mal nur ob das grob stimmt: Ich hab mir ein Herbrand-Universum definiert und die Variablen in der Formel dann durch Terme aus diesem Universum ersetzt (Das is doch die Expansion...?).
Und dann per Resolution gecheckt ob die leere Menge resolviert werden kann ... richtig/falsch?
|
|
|
|
|
|
|
|
|
|
|
Jap, also wie war das (ist ja auch bei mir inzwischen 2 Jahre her )
Es gibt erfüllbare Formeln der PL1, die kein endliches Modell haben.
Das bedeutet, dass man für die Suche nach erfüllbaren Modellen in unendlichen Universen rumstöbern muss.
Diese Unendlichkeit müssen wa beseitigen, indem wir das auf endliche Strukturen reduzieren. Dazu habe ich zwei Methoden kennengelernt:
1) Herbrand-Theorie
2) Prädikatenlogische Resolution
Zu (2) werdet ihr später kommen, da reduziert man das über Substitutionen und Unifizierungen auf die AL.
Und (1) geht wie von dir beschrieben:
(Vllt Fehlerhaft. erinnere mich nur schwach dran
* Man überführt seine PL1-Formel in die Skolemform (Bereinigen, gebundene Umbenennung, Pränex-NF, Existenzabschluss und son Kram)
* Man kann zeigen, dass die Skolemform Erfüllbarkeitsäquivalent zur Ausgansgsformel ist (in dem man alle möglichen Transformationsoperationen betrachtet), daher kann man das so machen
Wie die Expansion genau geht müsste ich auch erst nachgucken, aber ich weiß noch dass man dann schlussendlich über den Algorithmus von Gilmore/ dem Grundresolutionsalgorithmus auf Unerfüllbarkeit prüfen konnte.
Die Expansion selber stellt wieder die Reduktion auf die AL dar. Dafür hat man ja, wie von dir bereits erwähnt, zunächst die Herbrandstruktur und damit auch das Universum (Alle möglichen Instanzen der Formel) definiert.
Bei der Expansion selbst substituiert man Terme der Formel durch Elemente des Universums.
... Naja hier wirds irgendwie neblig bei mir, da müsste ich auch erst nochmal in meine Unterlagen gucken. Aber dein Vorgehen stimmt jedenfalls.
|
|
|
|
|
|
|
|
|
|
|
| | Zitat von Smoking
| | Zitat von cms
| | Zitat von jdo_O
| | Zitat von Ashtray
| | Zitat von TriggerTG
| | Zitat von Danzelot
OH TATSÄCHLICH! ALLES GUTE NACHTRÄGLICH, FLODER UND SCHAF!
| |
| |
| |
| |
| |
| |
| | Zitat von SkunkyVillage
Alles Gute nachträglich, Floder...
...und auch dir, Schaf.
| |
Schankedöhn! So, jetzt bin ich wieder da. Erstmal 23 Seiten nachlesen, was so weltbewegendes passiert ist!
Frohe Weihnachten miteinander!  Und Prost Neujahr. Und frohe Drei Könige!
|
|
|
|
|
|
|
|
|
|
|
| | Zitat von TriggerTG
Jap, also wie war das (ist ja auch bei mir inzwischen 2 Jahre her )
Es gibt erfüllbare Formeln der PL1, die kein endliches Modell haben.
Das bedeutet, dass man für die Suche nach erfüllbaren Modellen in unendlichen Universen rumstöbern muss.
Diese Unendlichkeit müssen wa beseitigen, indem wir das auf endliche Strukturen reduzieren. Dazu habe ich zwei Methoden kennengelernt:
1) Herbrand-Theorie
2) Prädikatenlogische Resolution
Zu (2) werdet ihr später kommen, da reduziert man das über Substitutionen und Unifizierungen auf die AL.
Und (1) geht wie von dir beschrieben:
(Vllt Fehlerhaft. erinnere mich nur schwach dran
* Man überführt seine PL1-Formel in die Skolemform (Bereinigen, gebundene Umbenennung, Pränex-NF, Existenzabschluss und son Kram)
* Man kann zeigen, dass die Skolemform Erfüllbarkeitsäquivalent zur Ausgansgsformel ist (in dem man alle möglichen Transformationsoperationen betrachtet), daher kann man das so machen
Wie die Expansion genau geht müsste ich auch erst nachgucken, aber ich weiß noch dass man dann schlussendlich über den Algorithmus von Gilmore/ dem Grundresolutionsalgorithmus auf Unerfüllbarkeit prüfen konnte.
Die Expansion selber stellt wieder die Reduktion auf die AL dar. Dafür hat man ja, wie von dir bereits erwähnt, zunächst die Herbrandstruktur und damit auch das Universum (Alle möglichen Instanzen der Formel)
definiert.
Bei der Expansion selbst substituiert man Terme der Formel durch Elemente des Universums.
... Naja hier wirds irgendwie neblig bei mir, da müsste ich auch erst nochmal in meine Unterlagen gucken. Aber dein Vorgehen stimmt jedenfalls. | |
Formeln waren schon in Skolemform gegeben, dass konnte ich mir schonmal schenken.
Kam auch ne Unerfuellbarkeit raus (wie gefordert), wenn du meinst, dass das Vorgehen so passt denk ich, das Ergebnis ist richtig und nicht nur Zufall.
Danke!
|
|
|
|
|
|
|
|
|
|
|
Ja also das war kein Hexenwerk, wenn man da erstmal von den formalen Definitionen und den Beweisen abstrahiert, ist das eigentlich.... logisch... warum man das so macht. Und zudem eigentlich recht simpel. Nicht verwirren lassen
Dieses Thema (Logik) ist btw. an fast allen Unis gleich aufgebaut. Da lohnt es sich mal im Netz nach anderen Scripten zu gucken, wo sich die Profs evtl. mehr Mühe mit der Ausformulierung des Kontext gegeben haben (falls euers da mangelhaft ist)
|
|
|
|
|
|
|
|
|
|
|
|
Trigger, wie war das Brunchen?
|
|
|
|
|
|
|
|
| Thema: Gehirnsalat ( wir unter uns ) |
![[dk]peacemaker](./avatare/[dk]peacemaker.gif)
![[Dicope]](./avatare/drkleiner.gif)
