https://scottweeden.online/assignments/ 2026-01-16T01:12:37-06:00 https://scottweeden.online/assignments/intelligent-systems/assignment3/intelligent-systems-assignment3-problems/ 2026-01-16T01:12:37-06:00 https://scottweeden.online/assignments/intelligent-systems/assignment3/intelligent-systems-assignment3-rl/ 2026-01-16T01:12:37-06:00 https://scottweeden.online/assignments/intelligent-systems/assignment4/intelligent-systems-assignment4-problems/ 2025-12-01T00:00:00-06:00 https://scottweeden.online/assignments/intelligent-systems/assignment4/intelligent-systems-assignment4-solutions/ 2025-12-01T00:00:00-06:00 https://scottweeden.online/assignments/intelligent-systems/assignment4/intelligent-systems-assignment4-solutions.md/ 2025-12-01T00:00:00-06:00 https://scottweeden.online/assignments/logic-for-computer-scientists/homework3/logic-homework3-solutions/ 2026-01-16T01:12:37-06:00 https://scottweeden.online/assignments/logic-for-computer-scientists/homework3/logic-homework3/ 2026-01-16T01:12:37-06:00 https://scottweeden.online/courses/analysis-of-algorithms/ 2026-01-16T01:12:37-06:00 https://scottweeden.online/courses/cryptography/ 2026-01-16T01:12:37-06:00 https://scottweeden.online/courses/ 2026-01-16T01:12:37-06:00 https://scottweeden.online/courses/intelligent-systems/ 2026-01-16T01:12:37-06:00 https://scottweeden.online/courses/logic-for-computer-scientists/ 2026-01-16T01:12:37-06:00 https://scottweeden.online/courses/machine-learning-security/ 2026-01-16T01:12:37-06:00 https://scottweeden.online/courses/software-project-management/ 2026-01-16T01:12:37-06:00 https://scottweeden.online/courses/software-verification/ 2026-01-16T01:12:37-06:00 https://scottweeden.online/courses/theory-of-automata/ 2026-01-16T01:12:37-06:00 https://scottweeden.online/blog/2025/01/08/understanding-masters-theorem/ 2025-01-08T00:00:00-06:00 https://scottweeden.online/blog/2025/01/09/prolog-programming-fundamentals/ 2025-01-09T00:00:00-06:00 https://scottweeden.online/blog/2025/01/10/welcome-to-my-blog/ 2025-01-10T00:00:00-06:00 https://scottweeden.online/blog/2025/08/25/introduction-to-logic-for-computer-scientists/ 2025-08-25T00:00:00-05:00 https://scottweeden.online/blog/2025/08/27/propositional-logic-basics/ 2025-08-27T00:00:00-05:00 https://scottweeden.online/blog/2025/08/29/propositional-logic-ii-truth-tables-and-formation-trees/ 2025-08-29T00:00:00-05:00 https://scottweeden.online/blog/2025/10/08/reinforcement-learning-introduction/ 2025-10-08T00:00:00-05:00 https://scottweeden.online/blog/2025/11/14/unification-algorithm/ 2025-11-14T00:00:00-06:00 https://scottweeden.online/blog/2025/11/17/hilbert-systems-herbrand-logic/ 2025-11-17T00:00:00-06:00 https://scottweeden.online/blog/2025/11/19/bayesian-networks-inference-d-separation/ 2025-11-19T00:00:00-06:00 https://scottweeden.online/blog/2025/11/21/variable-elimination-bayesian-inference/ 2025-11-21T00:00:00-06:00 https://scottweeden.online/blog/2025/11/24/naive-bayes-classification-supervised-learning/ 2025-11-24T00:00:00-06:00 https://scottweeden.online/blog/2025/12/01/herbrand-semantics-first-order-logic/ 2025-12-01T00:00:00-06:00 https://scottweeden.online/blog/2025/12/01/laplace-smoothing-maximum-likelihood/ 2025-12-01T00:00:00-06:00 https://scottweeden.online/blog/2025/12/03/negation-nonmonotonic-reasoning/ 2025-12-03T00:00:00-06:00 https://scottweeden.online/blog/2025/12/03/perceptron-linear-classifiers/ 2025-12-03T00:00:00-06:00 https://scottweeden.online/blog/2025/12/05/linear-temporal-logic-ltl/ 2025-12-05T00:00:00-06:00 https://scottweeden.online/blog/2025/12/05/logistic-regression-softmax-probabilistic-linear-models/ 2025-12-05T00:00:00-06:00 https://scottweeden.online/blog/2025/12/08/model-checking-course-review/ 2025-12-08T00:00:00-06:00 https://scottweeden.online/blog/2026/01/13/homework-3-guide/ 2026-01-13T00:00:00-06:00 https://scottweeden.online/blog/2026/01/15/cryptographic-hash-functions/ 2026-01-15T00:00:00-06:00 https://scottweeden.online/blog/2026/01/15/cryptography-fundamentals-introduction/ 2026-01-15T00:00:00-06:00 https://scottweeden.online/blog/2026/01/15/formal-methods-software-verification/ 2026-01-15T00:00:00-06:00 https://scottweeden.online/blog/2026/01/15/integration-testing-continuous-verification/ 2026-01-15T00:00:00-06:00 https://scottweeden.online/blog/2026/01/15/public-key-cryptography-rsa/ 2026-01-15T00:00:00-06:00 https://scottweeden.online/blog/2026/01/15/software-verification-testing-basics/ 2026-01-15T00:00:00-06:00 https://scottweeden.online/blog/2026/01/15/spring-2026-semester-overview/ 2026-01-15T00:00:00-06:00 https://scottweeden.online/blog/2026/01/15/symmetric-encryption-algorithms/ 2026-01-15T00:00:00-06:00 https://scottweeden.online/blog/2026/01/15/unit-testing-strategies/ 2026-01-15T00:00:00-06:00 https://scottweeden.online/projects/reinforcement-learning-videos/ 2024-08-01T00:00:00-05:00 https://scottweeden.online/projects/kaggle-competitions/ 2024-09-01T00:00:00-05:00 https://scottweeden.online/projects/masters-theorem/ 2024-10-01T00:00:00-05:00 https://scottweeden.online/projects/qlearning-pacman/ 2024-11-15T00:00:00-06:00 https://scottweeden.online/blog/tags/ai https://scottweeden.online/blog/tags/algorithms https://scottweeden.online/blog/tags/blogging https://scottweeden.online/blog/tags/complexity https://scottweeden.online/blog/tags/declarative https://scottweeden.online/blog/tags/divide-and-conquer https://scottweeden.online/ https://scottweeden.online/blog/ https://scottweeden.online/blog/tags/introduction https://scottweeden.online/blog/tags/logic-programming https://scottweeden.online/logic-test/ https://scottweeden.online/blog/tags/masters-theorem https://scottweeden.online/math-rules/ https://scottweeden.online/blog/tags/prolog https://scottweeden.online/research/ https://scottweeden.online/resume/ https://scottweeden.online/blog/tags/tutorial https://scottweeden.online/blog/tags/welcome https://scottweeden.online/assets/images/computational-traces.html 2026-01-16T01:12:31-06:00 https://scottweeden.online/assets/images/convergent-fields-viewer.html 2026-01-16T01:12:31-06:00 https://scottweeden.online/_assignments/intelligent-systems/assignment3/intelligent-systems-assignment3-problems.pdf 2026-01-16T01:12:31-06:00 https://scottweeden.online/_assignments/intelligent-systems/assignment4/CS5368_Fa25_Ass4_ProblemSolving-1.pdf 2026-01-16T01:12:31-06:00 https://scottweeden.online/_assignments/logic-for-computer-scientists/homework3/cs5384_2025_fall_homework3_111725-1.pdf 2026-01-16T01:12:31-06:00 https://scottweeden.online/_assignments/logic-for-computer-scientists/homework3/cs5384_2025_fall_homework3_solution_111725-1.pdf 2026-01-16T01:12:31-06:00 https://scottweeden.online/_assignments/logic-for-computer-scientists/homework3/logic-homework3-solution.pdf 2026-01-16T01:12:31-06:00 https://scottweeden.online/_lectures/logic-for-computer-scientists/2025-11-12_Ikram_Resolution_in_First_Order_Logic_lecture21.pdf 2026-01-16T01:12:31-06:00 https://scottweeden.online/_lectures/logic-for-computer-scientists/LogicForApplications_Lec_Nov12_8_Resolution.pdf 2026-01-16T01:12:31-06:00