Externe Blockungs-Tools - Versionsgeschichte

BBartsch am 5. Mai 2020 um 19:18 Uhr

2020-05-05T19:18:43Z

← Nächstältere Version		Version vom 5. Mai 2020, 21:18 Uhr
Zeile 18:		Zeile 18:
	Das Programm Klausurplanung_CNF berechnet den Klausurplan einer Jahrgangsstufe und wurde inzwischen durch den Multi-Klausurplaner ersetzt.		Das Programm Klausurplanung_CNF berechnet den Klausurplan einer Jahrgangsstufe und wurde inzwischen durch den Multi-Klausurplaner ersetzt.

	''Das Programm wird nicht mehr weiterentwickelt. Bitte verwenden Sie stattdessen das Programm "Multi_Klausurplanung_CNF".''		<b>Das Programm wird nicht mehr weiterentwickelt. Bitte verwenden Sie stattdessen das Programm "Multi_Klausurplanung_CNF".</b>

BBartsch am 5. Mai 2020 um 13:38 Uhr

2020-05-05T13:38:21Z

← Nächstältere Version		Version vom 5. Mai 2020, 15:38 Uhr
Zeile 17:		Zeile 17:

	Das Programm Klausurplanung_CNF berechnet den Klausurplan einer Jahrgangsstufe und wurde inzwischen durch den Multi-Klausurplaner ersetzt.		Das Programm Klausurplanung_CNF berechnet den Klausurplan einer Jahrgangsstufe und wurde inzwischen durch den Multi-Klausurplaner ersetzt.

			''Das Programm wird nicht mehr weiterentwickelt. Bitte verwenden Sie stattdessen das Programm "Multi_Klausurplanung_CNF".''

DKohle am 29. April 2020 um 17:12 Uhr

2020-04-29T17:12:48Z

← Nächstältere Version		Version vom 29. April 2020, 19:12 Uhr
Zeile 16:		Zeile 16:
	Das Programm Klausurplanung_CNF berechnet eine Blockung mit Hilfe vom Benutzer definierter Regeln. Für die Berechnung wird die Blockung in ein mathematisches Gleichungssystem kodiert (genauer konjunktive Normalform, engl. [C]onjunctive [N]ormal [F]orm) und mit Hilfe eines SAT-Solvers gelöst (https://github.com/msoos/cryptominisat/releases). Das passiert im Hintergrund, der Benutzer muss nur den SAT-Solver zuvor herunter laden (cryptominisat5-win-amd64-nogauss.exe) und den Pfad im Programm hinterlegen.		Das Programm Klausurplanung_CNF berechnet eine Blockung mit Hilfe vom Benutzer definierter Regeln. Für die Berechnung wird die Blockung in ein mathematisches Gleichungssystem kodiert (genauer konjunktive Normalform, engl. [C]onjunctive [N]ormal [F]orm) und mit Hilfe eines SAT-Solvers gelöst (https://github.com/msoos/cryptominisat/releases). Das passiert im Hintergrund, der Benutzer muss nur den SAT-Solver zuvor herunter laden (cryptominisat5-win-amd64-nogauss.exe) und den Pfad im Programm hinterlegen.

	Das Programm Klausurplanung_CNF berechnet den Klausurplan einer Jahrgangsstufe.		Das Programm Klausurplanung_CNF berechnet den Klausurplan einer Jahrgangsstufe und wurde inzwischen durch den Multi-Klausurplaner ersetzt.

DKohle am 29. April 2020 um 17:11 Uhr

2020-04-29T17:11:21Z

← Nächstältere Version		Version vom 29. April 2020, 19:11 Uhr
Zeile 16:		Zeile 16:
	Das Programm Klausurplanung_CNF berechnet eine Blockung mit Hilfe vom Benutzer definierter Regeln. Für die Berechnung wird die Blockung in ein mathematisches Gleichungssystem kodiert (genauer konjunktive Normalform, engl. [C]onjunctive [N]ormal [F]orm) und mit Hilfe eines SAT-Solvers gelöst (https://github.com/msoos/cryptominisat/releases). Das passiert im Hintergrund, der Benutzer muss nur den SAT-Solver zuvor herunter laden (cryptominisat5-win-amd64-nogauss.exe) und den Pfad im Programm hinterlegen.		Das Programm Klausurplanung_CNF berechnet eine Blockung mit Hilfe vom Benutzer definierter Regeln. Für die Berechnung wird die Blockung in ein mathematisches Gleichungssystem kodiert (genauer konjunktive Normalform, engl. [C]onjunctive [N]ormal [F]orm) und mit Hilfe eines SAT-Solvers gelöst (https://github.com/msoos/cryptominisat/releases). Das passiert im Hintergrund, der Benutzer muss nur den SAT-Solver zuvor herunter laden (cryptominisat5-win-amd64-nogauss.exe) und den Pfad im Programm hinterlegen.

	Das Programm Klausurplanung_CNF berechnet ~~mehrere Klausurpläne parallel und in Beziehung zueinander, so dass z.B. in der gymnasialen Oberstufe alle drei Jahrgangsstufen in~~ einer ~~gemeinsamer Klausurplanung berechnet werden~~.		Das Programm Klausurplanung_CNF berechnet den Klausurplan einer Jahrgangsstufe.


	'''[[Klausurplanung_CNF:Hauptseite\|Klausurplanung_CNF: Hauptseite]]'''		'''[[Klausurplanung_CNF:Hauptseite\|Klausurplanung_CNF: Hauptseite]]'''

			=== Multi_Klausurplanung_CNF ===

			Multi_Klausurplanung_CNF ist ein in JAVA programmiertes Tool zur Berechnung von Klausurplanungen. Daten können aus Kurs42 exportiert, dann mit Multi_Klausurplanung_CNF geblockt und anschließend wieder in Kurs42 importiert und dort weiter verarbeitet werden, um bspw. Klausurpläne zu drucken. Das Programm ist, bei geeigneten Regeln, in der Lage, sehr ausgewogene Klausurpläne zu erstellen, die sowohl die Lehrer- als auch die Schülerperspektive berücksichtigen.

			Das Programm Multi_Klausurplanung_CNF berechnet eine Blockung mit Hilfe vom Benutzer definierter Regeln. Für die Berechnung wird die Blockung in ein mathematisches Gleichungssystem kodiert (genauer konjunktive Normalform, engl. [C]onjunctive [N]ormal [F]orm) und mit Hilfe eines SAT-Solvers gelöst (https://github.com/msoos/cryptominisat/releases). Das passiert im Hintergrund, der Benutzer muss nur den SAT-Solver zuvor herunter laden (cryptominisat5-win-amd64-nogauss.exe) und den Pfad im Programm hinterlegen.

			Das Programm Multi_Klausurplanung_CNF berechnet die Klausurpläne mehrerer Jahrgangsstufen parallel und in Beziehung zueinander, so dass z.B. in der gymnasialen Oberstufe alle drei Jahrgangsstufen in einer gemeinsamer Klausurplanung berechnet werden.


			'''[[Multi_Klausurplanung_CNF:Hauptseite\|Multi_Klausurplanung_CNF: Hauptseite]]'''

	=== Konferenzplanung_CNF ===		=== Konferenzplanung_CNF ===

NWestphal: /* Klausurplanung_CNF */

2020-04-26T05:33:20Z

Klausurplanung_CNF

← Nächstältere Version		Version vom 26. April 2020, 07:33 Uhr
Zeile 15:		Zeile 15:

	Das Programm Klausurplanung_CNF berechnet eine Blockung mit Hilfe vom Benutzer definierter Regeln. Für die Berechnung wird die Blockung in ein mathematisches Gleichungssystem kodiert (genauer konjunktive Normalform, engl. [C]onjunctive [N]ormal [F]orm) und mit Hilfe eines SAT-Solvers gelöst (https://github.com/msoos/cryptominisat/releases). Das passiert im Hintergrund, der Benutzer muss nur den SAT-Solver zuvor herunter laden (cryptominisat5-win-amd64-nogauss.exe) und den Pfad im Programm hinterlegen.		Das Programm Klausurplanung_CNF berechnet eine Blockung mit Hilfe vom Benutzer definierter Regeln. Für die Berechnung wird die Blockung in ein mathematisches Gleichungssystem kodiert (genauer konjunktive Normalform, engl. [C]onjunctive [N]ormal [F]orm) und mit Hilfe eines SAT-Solvers gelöst (https://github.com/msoos/cryptominisat/releases). Das passiert im Hintergrund, der Benutzer muss nur den SAT-Solver zuvor herunter laden (cryptominisat5-win-amd64-nogauss.exe) und den Pfad im Programm hinterlegen.

			Das Programm Klausurplanung_CNF berechnet mehrere Klausurpläne parallel und in Beziehung zueinander, so dass z.B. in der gymnasialen Oberstufe alle drei Jahrgangsstufen in einer gemeinsamer Klausurplanung berechnet werden.

DKohle: /* Klausurplanung_CNF */

2020-04-25T17:47:59Z

Klausurplanung_CNF

← Nächstältere Version		Version vom 25. April 2020, 19:47 Uhr
Zeile 12:		Zeile 12:
	=== Klausurplanung_CNF ===		=== Klausurplanung_CNF ===

	Klausurplanung_CNF ist ein in JAVA programmiertes Tool zur Berechnung von Klausurplanungen. Daten können aus Kurs42 exportiert, dann mit Klausurplanung_CNF geblockt und anschließend wieder in Kurs42 importiert und dort weiter verarbeitet werden, um bspw. Klausurpläne zu drucken. Das Programm ist, bei geeigneten Regeln, in der Lage, sehr ausgewogene Klausurpläne zu erstellen, die sowohl die ~~Lehrersicht~~ als auch die ~~Schülersicht~~ berücksichtigen.		Klausurplanung_CNF ist ein in JAVA programmiertes Tool zur Berechnung von Klausurplanungen. Daten können aus Kurs42 exportiert, dann mit Klausurplanung_CNF geblockt und anschließend wieder in Kurs42 importiert und dort weiter verarbeitet werden, um bspw. Klausurpläne zu drucken. Das Programm ist, bei geeigneten Regeln, in der Lage, sehr ausgewogene Klausurpläne zu erstellen, die sowohl die Lehrer- als auch die Schülerperspektive berücksichtigen.

	Das Programm Klausurplanung_CNF berechnet eine Blockung mit Hilfe vom Benutzer definierter Regeln. Für die Berechnung wird die Blockung in ein mathematisches Gleichungssystem kodiert (genauer konjunktive Normalform, engl. [C]onjunctive [N]ormal [F]orm) und mit Hilfe eines SAT-Solvers gelöst (https://github.com/msoos/cryptominisat/releases). Das passiert im Hintergrund, der Benutzer muss nur den SAT-Solver zuvor herunter laden (cryptominisat5-win-amd64-nogauss.exe) und den Pfad im Programm hinterlegen.		Das Programm Klausurplanung_CNF berechnet eine Blockung mit Hilfe vom Benutzer definierter Regeln. Für die Berechnung wird die Blockung in ein mathematisches Gleichungssystem kodiert (genauer konjunktive Normalform, engl. [C]onjunctive [N]ormal [F]orm) und mit Hilfe eines SAT-Solvers gelöst (https://github.com/msoos/cryptominisat/releases). Das passiert im Hintergrund, der Benutzer muss nur den SAT-Solver zuvor herunter laden (cryptominisat5-win-amd64-nogauss.exe) und den Pfad im Programm hinterlegen.

DKohle: /* Klausurplanung_CNF */

2020-04-25T17:47:10Z

Klausurplanung_CNF

← Nächstältere Version		Version vom 25. April 2020, 19:47 Uhr
Zeile 12:		Zeile 12:
	=== Klausurplanung_CNF ===		=== Klausurplanung_CNF ===

	Klausurplanung_CNF ist ein in JAVA programmiertes Tool zur Berechnung von Klausurplanungen. Daten können aus Kurs42 exportiert, dann mit Klausurplanung_CNF geblockt und anschließend wieder in Kurs42 importiert und dort weiter verarbeitet werden, um bspw. Klausurpläne zu drucken.		Klausurplanung_CNF ist ein in JAVA programmiertes Tool zur Berechnung von Klausurplanungen. Daten können aus Kurs42 exportiert, dann mit Klausurplanung_CNF geblockt und anschließend wieder in Kurs42 importiert und dort weiter verarbeitet werden, um bspw. Klausurpläne zu drucken. Das Programm ist, bei geeigneten Regeln, in der Lage, sehr ausgewogene Klausurpläne zu erstellen, die sowohl die Lehrersicht als auch die Schülersicht berücksichtigen.

	Das Programm Klausurplanung_CNF berechnet eine Blockung mit Hilfe vom Benutzer definierter Regeln. Für die Berechnung wird die Blockung in ein mathematisches Gleichungssystem kodiert (genauer konjunktive Normalform, engl. [C]onjunctive [N]ormal [F]orm) und mit Hilfe eines SAT-Solvers gelöst (https://github.com/msoos/cryptominisat/releases). Das passiert im Hintergrund, der Benutzer muss nur den SAT-Solver zuvor herunter laden (cryptominisat5-win-amd64-nogauss.exe) und den Pfad im Programm hinterlegen.		Das Programm Klausurplanung_CNF berechnet eine Blockung mit Hilfe vom Benutzer definierter Regeln. Für die Berechnung wird die Blockung in ein mathematisches Gleichungssystem kodiert (genauer konjunktive Normalform, engl. [C]onjunctive [N]ormal [F]orm) und mit Hilfe eines SAT-Solvers gelöst (https://github.com/msoos/cryptominisat/releases). Das passiert im Hintergrund, der Benutzer muss nur den SAT-Solver zuvor herunter laden (cryptominisat5-win-amd64-nogauss.exe) und den Pfad im Programm hinterlegen.
Zeile 18:		Zeile 18:

	'''[[Klausurplanung_CNF:Hauptseite\|Klausurplanung_CNF: Hauptseite]]'''		'''[[Klausurplanung_CNF:Hauptseite\|Klausurplanung_CNF: Hauptseite]]'''


	=== Konferenzplanung_CNF ===		=== Konferenzplanung_CNF ===

DKohle am 25. April 2020 um 17:28 Uhr

2020-04-25T17:28:23Z

← Nächstältere Version		Version vom 25. April 2020, 19:28 Uhr
Zeile 18:		Zeile 18:

	'''[[Klausurplanung_CNF:Hauptseite\|Klausurplanung_CNF: Hauptseite]]'''		'''[[Klausurplanung_CNF:Hauptseite\|Klausurplanung_CNF: Hauptseite]]'''


	=== Konferenzplanung_CNF ===		=== Konferenzplanung_CNF ===

DKohle am 25. April 2020 um 17:28 Uhr

2020-04-25T17:28:16Z

← Nächstältere Version		Version vom 25. April 2020, 19:28 Uhr
Zeile 15:		Zeile 15:

	Das Programm Klausurplanung_CNF berechnet eine Blockung mit Hilfe vom Benutzer definierter Regeln. Für die Berechnung wird die Blockung in ein mathematisches Gleichungssystem kodiert (genauer konjunktive Normalform, engl. [C]onjunctive [N]ormal [F]orm) und mit Hilfe eines SAT-Solvers gelöst (https://github.com/msoos/cryptominisat/releases). Das passiert im Hintergrund, der Benutzer muss nur den SAT-Solver zuvor herunter laden (cryptominisat5-win-amd64-nogauss.exe) und den Pfad im Programm hinterlegen.		Das Programm Klausurplanung_CNF berechnet eine Blockung mit Hilfe vom Benutzer definierter Regeln. Für die Berechnung wird die Blockung in ein mathematisches Gleichungssystem kodiert (genauer konjunktive Normalform, engl. [C]onjunctive [N]ormal [F]orm) und mit Hilfe eines SAT-Solvers gelöst (https://github.com/msoos/cryptominisat/releases). Das passiert im Hintergrund, der Benutzer muss nur den SAT-Solver zuvor herunter laden (cryptominisat5-win-amd64-nogauss.exe) und den Pfad im Programm hinterlegen.


	'''[[Klausurplanung_CNF:Hauptseite\|Klausurplanung_CNF: Hauptseite]]'''		'''[[Klausurplanung_CNF:Hauptseite\|Klausurplanung_CNF: Hauptseite]]'''

DKohle am 25. April 2020 um 17:28 Uhr

2020-04-25T17:28:01Z

← Nächstältere Version		Version vom 25. April 2020, 19:28 Uhr
Zeile 12:		Zeile 12:
	=== Klausurplanung_CNF ===		=== Klausurplanung_CNF ===

	Klausurplanung_CNF ist ein in JAVA programmiertes Tool zur Berechnung ~~einer Klausurplanung~~. Daten können aus Kurs42 exportiert, dann mit Klausurplanung_CNF geblockt und anschließend wieder in Kurs42 importiert und dort weiter verarbeitet werden, um bspw. Klausurpläne zu drucken.		Klausurplanung_CNF ist ein in JAVA programmiertes Tool zur Berechnung von Klausurplanungen. Daten können aus Kurs42 exportiert, dann mit Klausurplanung_CNF geblockt und anschließend wieder in Kurs42 importiert und dort weiter verarbeitet werden, um bspw. Klausurpläne zu drucken.

	Das Programm Klausurplanung_CNF berechnet eine Blockung mit Hilfe vom Benutzer definierter Regeln. Für die Berechnung wird die Blockung in ein mathematisches Gleichungssystem kodiert (genauer konjunktive Normalform, engl. [C]onjunctive [N]ormal [F]orm) und mit Hilfe eines SAT-Solvers gelöst (https://github.com/msoos/cryptominisat/releases). Das passiert im Hintergrund, der Benutzer muss nur den SAT-Solver zuvor herunter laden (cryptominisat5-win-amd64-nogauss.exe) und den Pfad im Programm hinterlegen.		Das Programm Klausurplanung_CNF berechnet eine Blockung mit Hilfe vom Benutzer definierter Regeln. Für die Berechnung wird die Blockung in ein mathematisches Gleichungssystem kodiert (genauer konjunktive Normalform, engl. [C]onjunctive [N]ormal [F]orm) und mit Hilfe eines SAT-Solvers gelöst (https://github.com/msoos/cryptominisat/releases). Das passiert im Hintergrund, der Benutzer muss nur den SAT-Solver zuvor herunter laden (cryptominisat5-win-amd64-nogauss.exe) und den Pfad im Programm hinterlegen.