Logic
Hier finden Sie die Unterlagen zu der Vorlesung "Theoretische Informatik I", die sich im wesentlichen mit der Logik befasst. Die Beispiele sind in der Sprache Python implementiert.
파일 탐색기
최종 버전 다운로드 (.zip)- aStar-save.stlx
- aStar.stlx
- aufgaben.pdf
- aufgaben.tex
- aufgabe.pdf
- aufgabe.tex
- missionare-frame.stlx
- missionare.pdf
- aufgabe.pdf
- aufgabe.tex
- japanese-frame.stlx
- japanese.pdf
- aufgabe.pdf
- aufgabe.tex
- aufgabe.pdf
- aufgabe.tex
- rangierProblem.eps
- shunting-frame.stlx
- shunting.pdf
- 8-puzzle.eps
- 8-puzzle.png
- aufgabe.pdf
- aufgabe.tex
- inconsolatag.tfm
- inconsolatag.ttf
- sliding-frame.stlx
- T1-WGL4.enc
- t1inconsolatag.fd
- aufgabe.pdf
- aufgabe.tex
- logelei-frame.stlx
- aufgabe.pdf
- aufgabe.tex
- logelei-frame.stlx
- aufgabe.pdf
- aufgabe.tex
- prince-frame.stlx
- aufgabe.pdf
- aufgabe.tex
- tunnel-frame.stlx
- aufgabe.pdf
- aufgabe.tex
- zebra-frame.stlx
- aufgabe.pdf
- aufgabe.tex
- inconsolatag.tfm
- inconsolatag.ttf
- korb-frame.stlx
- korb.pdf
- isSublist.stlx
- 8-queens.pdf
- 8-queens.png
- australia.pdf
- australia.png
- break-eps-converted-to.pdf
- break.eps
- break.pdf
- continue-eps-converted-to.pdf
- continue.eps
- continue.pdf
- debug-eps-converted-to.pdf
- debug.eps
- debug.pdf
- debug.xwd
- down-eps-converted-to.pdf
- down.eps
- down.pdf
- finish-eps-converted-to.pdf
- finish.eps
- finish.pdf
- graph-zykl.dot
- graph-zykl.eps
- graph-zykl.pdf
- graph.dot
- graph.eps
- graph.pdf
- graph0-eps-converted-to.pdf
- graph0.dot
- graph0.eps
- graph2.dot
- graph2.eps
- graph2.pdf
- knight-moves.png
- knights-problem.png
- nodebug-eps-converted-to.pdf
- nodebug.eps
- nodebug.pdf
- redo-eps-converted-to.pdf
- redo.eps
- redo.pdf
- send-more-money.pdf
- skip-eps-converted-to.pdf
- skip.eps
- skip.pdf
- step-eps-converted-to.pdf
- step.eps
- step.pdf
- sudoku.png
- wolf-goat-cabbage.pdf
- xEqualsCosX.pdf
- zebra.png
- .gitignore
- acronyms.tex
- atp.tex
- case-studies.tex
- chess10.mf
- chess20.300pk
- chess20.600pk
- chess20.mf
- chess20.tfm
- chess30.300pk
- chess30.600pk
- chess30.mf
- chess30.tfm
- chessbase.mf
- chessdiag.mf
- chessf10.mf
- chessf10.tfm
- chesspieces.mf
- compact-barwise.tex
- compact.tex
- correctness.tex
- cs.bib
- depth-first-eps-converted-to.pdf
- depth-first.dot
- depth-first.eps
- dhbw-logo-eps-converted-to.pdf
- dhbw-logo.eps
- empty.mf
- fol.tex
- grenzen.tex
- grundlagen.tex
- hoare.tex
- inconsolatag.tfm
- inconsolatag.ttf
- introduction.tex
- limits.tex
- logic.pdf
- logic.tex
- overview.tex
- pl-complete.tex
- pl.pdf
- pr-slides.tex
- propositional-logic.tex
- python.tex
- sets.tex
- t1inconsolatag.fd
- zebra.png
- 8-queens.pdf
- 8-queens.png
- australia.pdf
- australia.png
- break-eps-converted-to.pdf
- break.eps
- break.pdf
- continue-eps-converted-to.pdf
- continue.eps
- continue.pdf
- debug-eps-converted-to.pdf
- debug.eps
- debug.pdf
- debug.xwd
- down-eps-converted-to.pdf
- down.eps
- down.pdf
- finish-eps-converted-to.pdf
- finish.eps
- finish.pdf
- graph-zykl.dot
- graph-zykl.eps
- graph-zykl.pdf
- graph.dot
- graph.eps
- graph.pdf
- graph0-eps-converted-to.pdf
- graph0.dot
- graph0.eps
- graph2.dot
- graph2.eps
- graph2.pdf
- knight-moves.png
- knights-problem.png
- nodebug-eps-converted-to.pdf
- nodebug.eps
- nodebug.pdf
- redo-eps-converted-to.pdf
- redo.eps
- redo.pdf
- send-more-money.pdf
- skip-eps-converted-to.pdf
- skip.eps
- skip.pdf
- step-eps-converted-to.pdf
- step.eps
- step.pdf
- sudoku.png
- wolf-goat-cabbage.pdf
- xEqualsCosX.pdf
- zebra.png
- atp.tex
- case-studies.tex
- chess10.mf
- chess20.300pk
- chess20.600pk
- chess20.mf
- chess20.tfm
- chess30.300pk
- chess30.600pk
- chess30.mf
- chess30.tfm
- chessbase.mf
- chessdiag.mf
- chessf10.mf
- chessf10.tfm
- chesspieces.mf
- compact-barwise.tex
- compact.tex
- correctness.tex
- cs.bib
- depth-first-eps-converted-to.pdf
- depth-first.dot
- depth-first.eps
- dhbw-logo-eps-converted-to.pdf
- dhbw-logo.eps
- empty.mf
- fol.tex
- grenzen.tex
- grundlagen.tex
- hoare.tex
- inconsolatag.tfm
- inconsolatag.ttf
- introduction.tex
- limits.tex
- logic.idx
- logic.ilg
- logic.ind
- logic.pdf
- logic.tex
- overview.tex
- pl-complete.tex
- pl.pdf
- pr-slides.tex
- propositional-logic.tex
- python.tex
- sets.tex
- t1inconsolatag.fd
- TAGS
- zebra.png
- break-eps-converted-to.pdf
- break.eps
- break.pdf
- continue-eps-converted-to.pdf
- continue.eps
- continue.pdf
- debug-eps-converted-to.pdf
- debug.eps
- debug.pdf
- debug.xwd
- down-eps-converted-to.pdf
- down.eps
- down.pdf
- finish-eps-converted-to.pdf
- finish.eps
- finish.pdf
- graph-zykl.dot
- graph-zykl.eps
- graph-zykl.pdf
- graph.dot
- graph.eps
- graph.pdf
- graph0-eps-converted-to.pdf
- graph0.dot
- graph0.eps
- graph2.dot
- graph2.eps
- graph2.pdf
- nodebug-eps-converted-to.pdf
- nodebug.eps
- nodebug.pdf
- redo-eps-converted-to.pdf
- redo.eps
- redo.pdf
- skip-eps-converted-to.pdf
- skip.eps
- skip.pdf
- step-eps-converted-to.pdf
- step.eps
- step.pdf
- aussagenlogik.tex
- chess10.mf
- chess20.300pk
- chess20.600pk
- chess20.mf
- chess20.tfm
- chess30.300pk
- chess30.600pk
- chess30.mf
- chess30.tfm
- chessbase.mf
- chessdiag.mf
- chessf10.mf
- chessf10.tfm
- chesspieces.mf
- compact-barwise.tex
- compact.tex
- cs.bib
- depth-first-eps-converted-to.pdf
- depth-first.dot
- depth-first.eps
- dhbw-logo-eps-converted-to.pdf
- dhbw-logo.eps
- empty.mf
- grenzen.tex
- grundlagen.tex
- hoare.tex
- inconsolatag.tfm
- inconsolatag.ttf
- introduction.tex
- logic.pdf
- logic.tex
- overview.tex
- pl-complete.tex
- pl.pdf
- pr-slides.tex
- praedikatenlogik.tex
- prolog-cut.tex
- prolog-not.tex
- prolog-old.tex
- prolog-rest.tex
- prolog.tex
- setlx.tex
- T1-WGL4.enc
- t1inconsolatag.fd
- dragon.in
- group.in
- group3.in
- insel.in
- barbier.in
- group-commutative.in
- group.in
- group2.in
- robbin.in
- russell.in
- transitive.in
- .gitignore
- Legendre-Conjecture.ipynb
- Rational-Numbers.ipynb
- Turing.ipynb
- Binomial.ipynb
- Euclidean-Algorithm.ipynb
- Euclidean-Division.ipynb
- Integer-Square-Root-Iterative.ipynb
- Integer-Square-Root-Recursive.ipynb
- Power-Iterative.ipynb
- Power.ipynb
- .gitignore
- 01-Evaluate.ipynb
- 02-Usual-Suspects.ipynb
- 03-Tautology.ipynb
- 04-CNF.ipynb
- 05-Completeness.ipynb
- 06-Davis-Putnam.ipynb
- 07-Davis-Putnam-JW.ipynb
- 08-N-Queens.ipynb
- 09-Zebra.ipynb
- 10-Sudoku.ipynb
- 11-PicoSat-Sudoku.ipynb
- Onkologie.ipynb
- Prince-Tiger.ipynb
- Propositional-Logic-Parser.ipynb
- queen-captures.png
- queens-vars.png
- sudoku.png
- Symbolic-Differentiation.ipynb
- The-Visit.ipynb
- Zweistein.ipynb
- .gitignore
- 00-Odd-Perfect-Number.ipynb
- 01-FOL-Evaluation.ipynb
- 02-Backtracking-Constraint-Solver.ipynb
- 03-MapColoring.ipynb
- 04-N-Queens-CSP.ipynb
- 05-Missionaries-STS.ipynb
- 06-Brothers-and-Sisters.ipynb
- 07-Knight's-Tour-Z3.ipynb
- 08-Missionaries-Z3.ipynb
- 09-FOL-CNF.ipynb
- 10-Unification.ipynb
- 11-Prover.ipynb
- australia.png
- Backtrack-Solver-Animate.ipynb
- Bridge-Torch.ipynb
- Crypto-Arithmetic.ipynb
- FOL-Parser.ipynb
- folCNF.py
- folParser.py
- Group-Theory-Z3.ipynb
- Japanese-Z3.ipynb
- Jealous-Couples-Z3.ipynb
- knight-moves.png
- Missionaries-CSP.ipynb
- Onkologie-CSP.ipynb
- Parrot-and-Penguin.ipynb
- queen-captures.png
- send-more-money.png
- Sudoku-Z3.ipynb
- sudoku.png
- Train-Z3.ipynb
- Wolf-Goat-Cabbage-STS.ipynb
- Zebra-CSP.ipynb
- 8-puzzle.png
- Blatt-01.ipynb
- Blatt-02.ipynb
- Blatt-03.ipynb
- Blatt-04.ipynb
- Blatt-05.ipynb
- Blatt-06.ipynb
- Blatt-08.ipynb
- Blatt-10.ipynb
- Blatt-11-CSP.ipynb
- Blatt-11-Davis-Putnam.ipynb
- Blatt-12.ipynb
- Breadth-First-Fast.ipynb
- Breadth-First-Search.ipynb
- cnf.py
- cspSolver.py
- davisPutnam.py
- extractVariables.py
- Graphviz.ipynb
- Jindosh-Riddle-CSP.ipynb
- Jindosh-Riddle.ipynb
- Knights-and-Squires.ipynb
- propLogParser.py
- rangierProblem.png
- style.css
- style.css
- allValuations.stlx
- append-match.stlx
- append.stlx
- arb.stlx
- buggy-function.stlx
- check-equivalence.stlx
- completeness.stlx
- count.stlx
- davis-putnam.stlx
- diff.stlx
- evaluate.stlx
- evaluateOld.stlx
- fibonacci-combinatorics.stlx
- find-path.stlx
- find-perfect.stlx
- fixpoint.stlx
- fol-evaluate.stlx
- from.stlx
- function.stlx
- ggt-fast.stlx
- ggt-loop.stlx
- graph-2-dot.stlx
- gruppen.stlx
- hanoi-frame.stlx
- knf.stlx
- legendre.stlx
- min-sort.stlx
- mySort.stlx
- parse-propositional.stlx
- path-cyclic.stlx
- path.stlx
- poker-triple.stlx
- power.stlx
- primes-eratosthenes.stlx
- primes-for.stlx
- primes-forall.stlx
- primes-recursive.stlx
- primes-sieve.stlx
- primes-slim.stlx
- primes-tuple.stlx
- primes-while.stlx
- queens-backtrack.stlx
- queens-search.stlx
- queens.stlx
- quine.stlx
- quone.stlx
- reverse.stlx
- simple-tuple.stlx
- simple.stlx
- solve.stlx
- sort.stlx
- stops.stlx
- sum-recursive.stlx
- sum.stlx
- switch.stlx
- tautology.stlx
- tautologyOld.stlx
- termUtilities.stlx
- test-completeness.stlx
- test-davis-putnam.stlx
- test-knf.stlx
- transitive-closure.stlx
- transitive-recursive.stlx
- tunnel-frame.stlx
- turing.stlx
- watson.stlx
- wolf-goat-cabbage.stlx
- zebra-frame.stlx
- 04-CNF-checkpoint.ipynb
- 06-Davis-Putnam-checkpoint.ipynb
- 08-N-Queens-checkpoint.ipynb
- Propositional-Logic-Parser-checkpoint.ipynb
- Test-Parser-checkpoint.ipynb
- Legendre-Conjecture-checkpoint.ipynb
- Rational-Numbers-checkpoint.ipynb
- Turing-checkpoint.ipynb
- .gitignore
- Introduction.ipynb
- Legendre-Conjecture.ipynb
- Primes.ipynb
- Rational-Numbers.ipynb
- Turing.ipynb
- Binomial-checkpoint.ipynb
- Euclidean-Algorithm-checkpoint.ipynb
- Euclidean-Division-checkpoint.ipynb
- Integer-Square-Root-Iterative-checkpoint.ipynb
- Integer-Square-Root-Recursive-checkpoint.ipynb
- .gitignore
- Binomial.ipynb
- Euclidean-Algorithm-Recursive.ipynb
- Euclidean-Algorithm.ipynb
- Euclidean-Division.ipynb
- Integer-Square-Root-Iterative.ipynb
- Integer-Square-Root-Recursive.ipynb
- Power-Functional.ipynb
- Power-Iterative.ipynb
- Power.ipynb
- Square-Iterative.ipynb
- Square.ipynb
- .gitignore
- 00-Introduction-to-Recursive-Set.ipynb
- 01-Evaluate.ipynb
- 02-Usual-Suspects.ipynb
- 03-Tautology.ipynb
- 04-CNF.ipynb
- 04-CNF.ts
- 05-Completeness.ipynb
- 06-Davis-Putnam.ipynb
- 06-Davis-Putnam.ts
- 07-Davis-Putnam-JW.ipynb
- 07-Davis-Putnam-JW.ts
- 08-N-Queens-All-Solutions.ipynb
- 08-N-Queens.ipynb
- 09-Zebra.ipynb
- 10-Sudoku.ipynb
- 11-Logic-Solver-Sudoku.ipynb
- logic-solver.d.ts
- Murder-Frame.ipynb
- Prince-Tiger-Frame.ipynb
- PropositionalLogicParser.ts
- queen-captures.png
- queens-vars.png
- sudoku.png
- Zweistein-Frame.ipynb
- .gitignore
- 00-Odd-Perfect-Number.ipynb
- 01-FOL-Evaluation.ipynb
- 02-Backtracking-Constraint-Solver.ipynb
- 02-Backtracking-Constraint-Solver.ts
- 03-MapColoring-Animation.ipynb
- 03-MapColoring.ipynb
- 04-N-Queens-CSP.ipynb
- 05-Missionaries-STS.ipynb
- 06-Brothers-and-Sisters.ipynb
- 07-Knight's-Tour-Z3.ipynb
- 08-Missionaries-Z3.ipynb
- Alice-and-Bob-Frame.ipynb
- australia.png
- Backtrack-Solver-Animate.ipynb
- Backtrack-Solver-Animate.ts
- Bridge-Torch-Z3-Frame.ipynb
- Crypto-Arithmetic-Frame.ipynb
- FOL-Parser.ipynb
- FOL-Parser.ts
- Japanese-Z3-Frame.ipynb
- knight-moves.png
- Onkologie-Frame.ipynb
- Parrot-and-Penguin-Frame.ipynb
- queen-captures.png
- send-more-money.png
- Sudoku-Z3-Frame.ipynb
- sudoku.png
- Train-Speed-Frame.ipynb
- Wolf-Goat-Cabbage-Frame.ipynb
- Zebra-Frame.ipynb
- .gitignore
- 01-FOL-CNF.ipynb
- 02-Unification.ipynb
- 03-Prover.ipynb
- algebrite.d.ts
- Algebrite.ipynb
- FOL-CNF.ts
- FOL-Parser.ts
- Unification.ts
- .gitignore
- docker-compose.yml
- Dockerfile
- logic-solver.d.ts
- missionaries-and-infidels.png
- Missionaries-BFS-TS.ipynb
- package-lock.json
- package.json
- Readme.md
- Test-Libraries.ipynb
- barbier.tptp
- dragon.tptp
- group-commutative.tptp
- group-inverse-unique.tptp
- group-right-identity.tptp
- group-right-inverse.tptp
- non-commutative-group.tptp
- proof.txt
- transitive.tptp
- who-killed-agatha.tptp
- .gitignore
- LICENSE
- README.md
// repository documentation
Was this content helpful?
(0 ratings)