Introduction to Mathematical foundations

Requisites

Resources

Foundations

NameTags
Untitled
Untitled
Untitled


Introduction

What is X?

Why does X matter to you?

Research

Ecosystem

Standards, jobs, industry, roles, …

Story

FAQ

Worked examples

https://kroki.io/#try

Prove

Set theory

Venn diagram. Euler diagram.

File:Euler-venn-example.png - Wikipedia. (2011, March 28). Retrieved from https://en.wikipedia.org/wiki/File:Euler-venn-example.png

https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/

https://www.cs.uic.edu/~wilkinson/Publications/venneuler.pdf

https://www.benfrederickson.com/venn-diagrams-with-d3.js/

Notes

Worked examples

  1. Mathematics or Code. Automatic Verification such as Testing or Lean Proven?
  1. Languages in Anki.

FAQ

Further resources

Type theory

Next steps