Loading Events

« All Events

  • This event has passed.

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

June 4 @ 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
(https://drive.google.com/open?id=1VbiOhDtmORn5OvksnS7fFRhueZYOjlOs)
Summary of unorthodox conventions from part 1
(https://drive.google.com/open?id=1_vGM9Ns5Mm7hA_ejmk-Qkh2AmG757vX9)
Part 2, Lecture 1: The DPLL and CDCL algorithms and introduction to advanced logics
(https://drive.google.com/open?id=1aDx8o4pVWCMRCeygfvQzb_ev78NUzRJV)
Part 2, Lecture 2: CNF topological observations
(https://drive.google.com/open?id=14b1xwXncVwxwiAiy0p8-HPcpeSTNkdiR)
Part 2, Lecture 2.5: Rosetta stone
(https://drive.google.com/open?id=1B8F7RP1-SYqEc3PLQTWrHkSIN0ESU48E)

Part 2, Lecture 3: Counter-assertion
(https://drive.google.com/open?id=1fJ9zJRiXZHJb2s9BfoppRlqMO9g7-k4j)
Part 2, Lecture 4: The Rain of Strepsiades
(https://drive.google.com/open?id=1DcYswNUvOTqLTA-Kk-OdPlNLrFSyKCkI)
Part 2, Lecture 4.3: Summary of Rain rules
(https://drive.google.com/open?id=1G973jM73pZp7LUuenpsVpZlgqcLQcFWh)
Part 2, Lecture 4.4: Symbolic names for Rain rule objects
(https://drive.google.com/open?id=1yCSKaPuhW0MUECoS7rIHw4c3ZVn1S2Vv)
Part 2, Lecture 4.5: Translation of Rain rules to relational pseudo-code
(https://drive.google.com/open?id=1lAkCgkJUIFCStsyFKB74M_raQ-7Tjn21)

BRING A PENCIL
Part 2, Lecture 5: Rain is productively different
(https://drive.google.com/open?id=1TDWgNnhrwn-8DSFcGQMwOiuEI5Kt2CzZ)
Part 2, Lecture 5.5: Worksheet usage example
(https://drive.google.com/open?id=1ZUaeXfJsvIq9n1w-uSoD28CsRdnILhM5)
House of Doors assertion worksheet
(https://drive.google.com/open?id=1kweXgxCuq1dkSxa9-fYYsdWZS46_Ieu6)
House of Doors reason worksheet
(https://drive.google.com/open?id=1Lup_uFA-9Jt5Eqe1aEwimbYdHH50jb4k)

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

Details

Date:
June 4
Time:
7:00 pm - 9:00 pm
Event Category:
Website:
https://www.meetup.com/NOVA-Makers/events/vzgnvqyzjbgb/

Organizer

NOVA Makers
Website:
https://www.meetup.com/NOVA-Makers/

Venue

*Nova Labs (Conference Rm 2)
1916 Isaac Newton Square West
reston, va 20190 US
+ Google Map
Back to top button

Get a FREE copy of the I AM CEO eBook . Also, get the latest from CBNation including the news, information, our weekly TOP5 and more from across our community delivered to your inbox. 

Subscribe
We're 20,000+ CBNation Members Strong & GROWINGJOIN FOR FREE
+ +
Close
Close