Lawrence Paulson

@UCgQJAtBqCiKPJONdiB2YwXg - 668 subscribers

Computational logic is the field concerned with proving theorems formally by computer. Here you'll find educational and research material, from Cambridge University undergraduate lectures to seminars involving advanced mathematics or technological issues.

Home Videos Live Playlists

AI and Isabelle: Experiences and Perspectives

AI and Isabelle: Experiences and Perspectives Lawrence Paulson

691 views - 1 week ago

Diagonal Ramsey

Diagonal Ramsey Lawrence Paulson

125 views - 5 months ago

Security Protocols and Their Correctness

Security Protocols and Their Correctness Lawrence Paulson

186 views - 9 months ago

Computer Algebra and the Formalisation of New Mathematics

Computer Algebra and the Formalisation of New Mathematics Lawrence Paulson

300 views - 1 year ago

Formalising Advanced Mathematics in Isabelle/HOL

Formalising Advanced Mathematics in Isabelle/HOL Lawrence Paulson

398 views - 1 year ago

Logic and Proof, Lecture 12: Tableau Calculi. Live version

Logic and Proof, Lecture 12: Tableau Calculi. Live version Lawrence Paulson

291 views - 2 years ago

Logic and Proof, Lecture 11: Modal Logic. Live version

Logic and Proof, Lecture 11: Modal Logic. Live version Lawrence Paulson

173 views - 2 years ago

Logic and Proof, Lecture 10: Binary Decision Diagrams. Live version

Logic and Proof, Lecture 10: Binary Decision Diagrams. Live version Lawrence Paulson

681 views - 2 years ago

Logic and Proof, Lecture 9: Decision Procedures. Live version

Logic and Proof, Lecture 9: Decision Procedures. Live version Lawrence Paulson

76 views - 2 years ago

Logic and Proof, Lecture 8: Resolution and Prolog. Live version

Logic and Proof, Lecture 8: Resolution and Prolog. Live version Lawrence Paulson

192 views - 2 years ago

Logic and Proof, Lecture 7: Skolemisation. Live version

Logic and Proof, Lecture 7: Skolemisation. Live version Lawrence Paulson

225 views - 2 years ago

Logic and Proof, Lecture 6: Clause Form Methods. Live version

Logic and Proof, Lecture 6: Clause Form Methods. Live version Lawrence Paulson

188 views - 2 years ago

Logic and Proof, Lecture 5: First-Order Reasoning. Live version*

Logic and Proof, Lecture 5: First-Order Reasoning. Live version* Lawrence Paulson

119 views - 2 years ago

Logic and Proof, Lecture 4: First Order Logic. Live version*

Logic and Proof, Lecture 4: First Order Logic. Live version* Lawrence Paulson

215 views - 2 years ago

Logic and Proof, Lecture 3: Propositional Proof Systems. Live version*

Logic and Proof, Lecture 3: Propositional Proof Systems. Live version* Lawrence Paulson

372 views - 2 years ago

Logic and Proof, Lecture 2: Propositional Logic. Live version

Logic and Proof, Lecture 2: Propositional Logic. Live version Lawrence Paulson

336 views - 2 years ago

Logic and Proof, Lecture 1: Introduction to Logic. Live version*

Logic and Proof, Lecture 1: Introduction to Logic. Live version* Lawrence Paulson

1.2K views - 2 years ago

Formalising 21st-Century Mathematics

Formalising 21st-Century Mathematics Lawrence Paulson

242 views - 2 years ago

How to Do a Presentation

How to Do a Presentation Lawrence Paulson

49 views - 2 years ago

Formalising a Number Theory Textbook: Lessons Learnt

Formalising a Number Theory Textbook: Lessons Learnt Lawrence Paulson

602 views - 2 years ago

Formalising Erdős and Larson: Ordinal Partition Theory

Formalising Erdős and Larson: Ordinal Partition Theory Lawrence Paulson

123 views - 2 years ago

How to Write a Research Paper

How to Write a Research Paper Lawrence Paulson

271 views - 3 years ago

Interactive Formal Verification, Lecture 12: More Operational Semantics

Interactive Formal Verification, Lecture 12: More Operational Semantics Lawrence Paulson

195 views - 3 years ago

Interactive Formal Verification, Lecture 11: Hardware Verification

Interactive Formal Verification, Lecture 11: Hardware Verification Lawrence Paulson

708 views - 3 years ago

Interactive Formal Verification, Lecture 10: Operational Semantics

Interactive Formal Verification, Lecture 10: Operational Semantics Lawrence Paulson

209 views - 3 years ago

Interactive Formal Verification, Lecture 9: Structured Induction

Interactive Formal Verification, Lecture 9: Structured Induction Lawrence Paulson

214 views - 3 years ago

Interactive Formal Verification, Lecture 8: Inductive Definitions

Interactive Formal Verification, Lecture 8: Inductive Definitions Lawrence Paulson

191 views - 3 years ago

Interactive Formal Verification, Lecture 7: Sets

Interactive Formal Verification, Lecture 7: Sets Lawrence Paulson

124 views - 3 years ago

Interactive Formal Verification, Lecture 6: Structured Proof

Interactive Formal Verification, Lecture 6: Structured Proof Lawrence Paulson

153 views - 3 years ago

Interactive Formal Verification, Lecture 5: Logic

Interactive Formal Verification, Lecture 5: Logic Lawrence Paulson

259 views - 3 years ago

Interactive Formal Verification, Lecture 4: Advanced Recursion

Interactive Formal Verification, Lecture 4: Advanced Recursion Lawrence Paulson

230 views - 3 years ago

Interactive Formal Verification, Lecture 3: Proof

Interactive Formal Verification, Lecture 3: Proof Lawrence Paulson

388 views - 3 years ago

Interactive Formal Verification, Lecture 2: Theories

Interactive Formal Verification, Lecture 2: Theories Lawrence Paulson

565 views - 3 years ago

Interactive Formal Verification, Lecture 1: Introduction

Interactive Formal Verification, Lecture 1: Introduction Lawrence Paulson

2K views - 3 years ago

Logic and Proof, Lecture 12: Tableau Calculi

Logic and Proof, Lecture 12: Tableau Calculi Lawrence Paulson

597 views - 3 years ago

Logic and Proof, Lecture 11: Modal Logic

Logic and Proof, Lecture 11: Modal Logic Lawrence Paulson

571 views - 3 years ago

Logic and Proof, Lecture 10: Binary Decision Diagrams

Logic and Proof, Lecture 10: Binary Decision Diagrams Lawrence Paulson

1.9K views - 3 years ago

Logic and Proof, Lecture 9: Decision Procedures

Logic and Proof, Lecture 9: Decision Procedures Lawrence Paulson

312 views - 3 years ago

Logic and Proof, Lecture 8: Resolution and Prolog

Logic and Proof, Lecture 8: Resolution and Prolog Lawrence Paulson

575 views - 3 years ago

Logic and Proof, Lecture 7: Skolemisation

Logic and Proof, Lecture 7: Skolemisation Lawrence Paulson

1.3K views - 3 years ago

Logic and Proof, Lecture 6: Clause Form Methods

Logic and Proof, Lecture 6: Clause Form Methods Lawrence Paulson

520 views - 3 years ago

Logic and Proof, Lecture 5: First-Order Reasoning

Logic and Proof, Lecture 5: First-Order Reasoning Lawrence Paulson

324 views - 3 years ago

Logic and Proof, Lecture 4: First Order Logic

Logic and Proof, Lecture 4: First Order Logic Lawrence Paulson

494 views - 3 years ago

Logic and Proof, Lecture 3: Propositional Proof Systems

Logic and Proof, Lecture 3: Propositional Proof Systems Lawrence Paulson

918 views - 3 years ago

Logic and Proof, Lecture 2: Propositional Logic

Logic and Proof, Lecture 2: Propositional Logic Lawrence Paulson

805 views - 3 years ago

Logic and Proof, Lecture 1: Introduction

Logic and Proof, Lecture 1: Introduction Lawrence Paulson

3.8K views - 3 years ago