Combining Formal Methods and Machine Learning
by Jane Hillston · University of Cambridge
Recorded 2019 Wheeler Lecture at the Cambridge Computer Laboratory in which Edinburgh's Jane Hillston explains how stochastic process algebras and machine learning complement each other, presenting two projects that embed learning techniques into formal quantitative modelling of dynamic systems.
More resources on Logic in Computer Science
logicmatters.net
Logic Matters is a blog and resource site dedicated to mathematical logic. It provides expository notes, essays, and curated reading lists across topics such as model theory, proof theory, computability, and set theory, with materials for students and researchers.
Logic II (MIT 24.242)
Computability theory followed by a detailed study of Gödel's incompleteness theorems and their applications, including Church's undecidability theorem and Tarski's theorem on the undefinability of truth. Lecture notes and problem sets with solutions let learners work through these proofs themselves.
Logic in Computer Science
University textbook on logic as a tool for specifying and verifying systems, covering propositional and predicate logic, temporal logics with model checking, program verification, and modal logic. Students learn to reason formally about software and hardware correctness.
Mathematical Logic for Computer Science
Textbook on propositional and first-order logic for computer scientists, emphasising automated proof methods such as semantic tableaux, resolution, and logic programming, plus program verification and temporal logic. Readers learn to build and check formal proofs algorithmically.
brilliant.org
Brilliant.org is an online, interactive learning platform offering problem-based courses in math and computer science, including topics in automata theory, computation, and discrete mathematics, with guided lessons and practice problems.
Introduction to Logic
This course is an introduction to Logic from a computational perspective. It shows how to encode information in the form of logical sentences; it shows how to reason with information in this form; and it provides an overview of logic technology and its applications - in mathematics, science, engineering, business, law, and so forth.