Sun | Mon | Tue | Wed | Thu | Fri | Sat |
---|---|---|---|---|---|---|
Logic Seminar: Ellen Hughes
10:30 am
Logic Seminar: Ellen Hughes
Sep 14 @ 10:30 am – 11:30 am
Time and place: Tuesday September 14, 10:30am in Holmes 247. Speaker: Ellen Hughes, undergraduate student, UH Manoa. Title: The interest equation in Lean Abstract: We discuss how to solve the equation $y=x(1+i)^n$ for $i$ and[...]
|
||||||
Logic seminar: David Webb
10:30 am
Logic seminar: David Webb
Sep 21 @ 10:30 am – 11:30 am
Title: Computing from a pair of oracles one of which is useful
|
||||||
Logic seminar: Janitha Aswedige
10:30 am
Logic seminar: Janitha Aswedige
Sep 28 @ 10:30 am – 11:30 am
Title: Introduction to Modal Logic: Filtrations and Finite Model Property of $S_5$ Abstract : We’ll introduce some basic notions from Modal Logic namely, Kripke Frames, Standard Models, Filtrations etc. Then we’ll demonstrate the Finite Model[...]
|