Loading Events

« All Events

  • This event has passed.

Computational Mathematics: P=NP for students and engineers at Nova Labs

June 4, 2019 @ 7:00 pm - 9:00 pm EDT

This meetup session, we intend to cover an example expression that, when any of certain assumption orderings is chosen, has a hyper-polynomial cost for DPLL, CDCL, and an algorithm that simply identifies teardrops, but does not have a hyper-polynomial cost for the Rain of Strepsiades regardless of assumption order.
Questions related to earlier lectures will also be entertained.

Part 1, Lecture 1: Naive finite set theory, relations, mappings, and basic formal logic (https://drive.google.com/open?id=1mF-q6a06JDrUHM2yf9Rm6xlmL-ZmTRt2)
Part 1, Lecture 2: Brief introduction to linear algebra (https://drive.google.com/open?id=1XLc8ITzFBhkVtroGYf_QxNKVHQINWO_X)
Part 1, Lecture 3: Introduction to ordering theory & graph theory (https://drive.google.com/open?id=1-Nv3iWm0HB6hw7FXSR-Sl6ArLgNsD1H5)
Part 1, Lecture 4: Introduction to practical computational performance (https://drive.google.com/open?id=1W7ejpU3ZH9n3CEzNnwLtqsVKZ01YeIzO)

Part 1, Lecture 5: Introduction to theoretical computational complexity
Summary of unorthodox conventions from part 1
Part 2, Lecture 1: The DPLL and CDCL algorithms and introduction to advanced logics
Part 2, Lecture 2: CNF topological observations
Part 2, Lecture 2.5: Rosetta stone

Part 2, Lecture 3: Counter-assertion
Part 2, Lecture 4: The Rain of Strepsiades
Part 2, Lecture 4.3: Summary of Rain rules
Part 2, Lecture 4.4: Symbolic names for Rain rule objects
Part 2, Lecture 4.5: Translation of Rain rules to relational pseudo-code

Part 2, Lecture 5: Rain is productively different
Part 2, Lecture 5.5: Worksheet usage example
House of Doors assertion worksheet
House of Doors reason worksheet

GENERAL INFORMATION about this lecture series (https://drive.google.com/open?id=1g_cZHqfb5kHLsFiKwGLPE5kSclCZtJAl)


June 4, 2019
7:00 pm - 9:00 pm EDT
Event Category:


NOVA Makers


*Nova Labs (Conference Rm 2)
1916 Isaac Newton Square West
reston, va 20190 US
+ Google Map
Back to top button
We're 20,000+ CBNation Members Strong & GROWINGJOIN FOR FREE
+ +