https://umutozge.github.io/code/python/modules/collatz/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/code/python/modules/funcutils/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/code/python/snippets/files/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/code/python/snippets/plotting/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/code/python/snippets/proc_seq/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/code/python/snippets/randomization/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/code/python/snippets/scientific/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/code/python/snippets/sorting/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/code/python/snippets/strings/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/code/python/snippets/tokenization/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/exercises/basic-probability/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/exercises/combinatorics/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/exercises/formal-semantics/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/exercises/higher-order-functions/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/exercises/iteration/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/exercises/linalg/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/exercises/numbers/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/exercises/peano-arithmetic/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/exercises/psg/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/exercises/recursion/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/exercises/sequence-operations/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/exercises/sets/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/exercises/zipfs-law/ 2026-02-14T18:12:04+03:00 https://umutozge.github.io/items/df-char-func/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/df-funcset/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/df-mt-env-ext/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/df-mt-l0-sem/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/df-mt-l0/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/df-sem-types/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/df-addition/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/df-multiplication/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/df-peano-type/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/df-cond-prob/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/eg-simple-model/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/ex-arithmetic-grammar/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/ex-fol-basics/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/ex-logical-relations/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/ex-model-building/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/ex-model-theory-basics/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/ex-simple-pst/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/ex-subcat/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/ex-peano-comp/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/ex-peano-div/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/ex-peano-module/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/ex-peano-pow/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/ex-peano-sub/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/ex-flip/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/ex-geometric-rec/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/ex-inspection-batch/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/ex-middle-best/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/ex-more-heads/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/ex-prisoners-dilemma/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/ex-question-of-independence/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/ex-recursive-jar/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/ex-recursive-jars/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/ex-rolex/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/ex-second-throw/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/ex-strange-bob/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/ex-swap-game/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/ex-two-envelopes/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/ex-unfair-coin/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/ex-venn-for-cond/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/ex-member-index/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/ex-powerset/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/tr-mts-1/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/tr-mts-2/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/tr-mts-3/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/tr-mts-4/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/tr-mts-5/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/pr-mult-zero/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/th-mult-zero/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/ex-insert/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/ex-sum/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/pr-total-probability/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/ax-peano-0/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/ax-peano-1/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/th-bayes/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/items/th-total-probability/ 2026-04-02T11:28:42+03:00 https://umutozge.github.io/posts/course/iteration-by-while/ 2025-11-13T00:00:00+03:00 https://umutozge.github.io/posts/course/higher-order-functions/ 2025-11-21T00:00:00+03:00 https://umutozge.github.io/posts/course/euclids-algorithm/ 2025-11-24T00:00:00+03:00 https://umutozge.github.io/posts/course/intro-number-theory/ 2025-11-24T00:00:00+03:00 https://umutozge.github.io/posts/course/state-power/ 2025-12-06T00:00:00+03:00 https://umutozge.github.io/posts/course/way-of-lambda/ 2025-12-12T00:00:00+03:00 https://umutozge.github.io/posts/course/more-state-power/ 2025-12-20T00:00:00+03:00 https://umutozge.github.io/posts/course/walrus-operator/ 2026-02-12T00:00:00+03:00 https://umutozge.github.io/posts/course/language-primer/ 2026-02-14T00:00:00+03:00 https://umutozge.github.io/posts/course/model-theoretic-interpretation/ 2026-03-31T00:00:00+03:00 https://umutozge.github.io/about/ https://umutozge.github.io/categories/ https://umutozge.github.io/code/browser/ https://umutozge.github.io/exercise/browser/ https://umutozge.github.io/ https://umutozge.github.io/cl/schedule/ https://umutozge.github.io/prelim/schedule/ https://umutozge.github.io/courses/lccm/schedule/ https://umutozge.github.io/lccm/syllabus/ https://umutozge.github.io/cl/syllabus/ https://umutozge.github.io/prelim/syllabus/ https://umutozge.github.io/tags-old/ https://umutozge.github.io/posts/ https://umutozge.github.io/p/rosen/ https://umutozge.github.io/p/coursepy/ https://umutozge.github.io/p/bertsekas-course/ https://umutozge.github.io/p/kilgarriff/ https://umutozge.github.io/p/gowers-math/ https://umutozge.github.io/p/lake-word-meaning/ https://umutozge.github.io/p/eisenstein/ https://umutozge.github.io/p/yang-crunch/ https://umutozge.github.io/p/rawski-heins/ https://umutozge.github.io/p/pater-2019/ https://umutozge.github.io/p/breiman-2001/ https://umutozge.github.io/p/jurafsky-psycho/ https://umutozge.github.io/p/manning-prob/ https://umutozge.github.io/p/norvig-chomsky/ https://umutozge.github.io/p/lappin-shieber/ https://umutozge.github.io/p/bender-fundamentals/ https://umutozge.github.io/p/softmax/ https://umutozge.github.io/p/stanford-cl/ https://umutozge.github.io/p/chomsky-ss/ https://umutozge.github.io/p/pereira/ https://umutozge.github.io/p/bertsekas/ https://umutozge.github.io/p/lake/ https://umutozge.github.io/p/bhuyan/ https://umutozge.github.io/p/aima/ https://umutozge.github.io/p/huth-ryan/ https://umutozge.github.io/p/geurts-logic/ https://umutozge.github.io/p/mccarthy-hayes/ https://umutozge.github.io/p/circum/ https://umutozge.github.io/p/reiter-default/ https://umutozge.github.io/solutions/ex-arithmetic-grammar/ https://umutozge.github.io/solutions/ex-fol-basics/ https://umutozge.github.io/solutions/ex-logical-relations/ https://umutozge.github.io/solutions/ex-model-building/ https://umutozge.github.io/solutions/ex-model-theory-basics/ https://umutozge.github.io/solutions/ex-simple-pst/ https://umutozge.github.io/solutions/ex-subcat/ https://umutozge.github.io/solutions/ex-peano-comp/ https://umutozge.github.io/solutions/ex-peano-div/ https://umutozge.github.io/solutions/ex-peano-module/ https://umutozge.github.io/solutions/ex-peano-pow/ https://umutozge.github.io/solutions/ex-peano-sub/ https://umutozge.github.io/solutions/ex-flip/ https://umutozge.github.io/solutions/ex-geometric-rec/ https://umutozge.github.io/solutions/ex-inspection-batch/ https://umutozge.github.io/solutions/ex-middle-best/ https://umutozge.github.io/solutions/ex-more-heads/ https://umutozge.github.io/solutions/ex-prisoners-dilemma/ https://umutozge.github.io/solutions/ex-question-of-independence/ https://umutozge.github.io/solutions/ex-recursive-jar/ https://umutozge.github.io/solutions/ex-recursive-jars/ https://umutozge.github.io/solutions/ex-rolex/ https://umutozge.github.io/solutions/ex-second-throw/ https://umutozge.github.io/solutions/ex-strange-bob/ https://umutozge.github.io/solutions/ex-swap-game/ https://umutozge.github.io/solutions/ex-two-envelopes/ https://umutozge.github.io/solutions/ex-unfair-coin/ https://umutozge.github.io/solutions/ex-venn-for-cond/ https://umutozge.github.io/solutions/ex-member-index/ https://umutozge.github.io/solutions/ex-powerset/ https://umutozge.github.io/proofs/th-mult-zero/ https://umutozge.github.io/solutions/ex-insert/ https://umutozge.github.io/solutions/ex-sum/ https://umutozge.github.io/proofs/th-total-probability/ https://umutozge.github.io/tags/ https://umutozge.github.io/page2/ https://umutozge.github.io/assets/pdf/01_propositional-logic.pdf 2026-04-01T13:55:51+03:00 https://umutozge.github.io/assets/pdf/02_first-order-logic.pdf 2026-04-01T13:56:06+03:00 https://umutozge.github.io/assets/pdf/03_lambda-calculus.pdf 2026-04-01T13:56:22+03:00