ฉันเข้าชั้นเรียนหนึ่งครั้งเกี่ยวกับการคำนวณและตรรกะ วัสดุรวมความสัมพันธ์ระหว่างคลาสความซับซ้อน / การคำนวณ (R, RE, co-RE, P, NP, Logspace, ... ) และ Logics (แคลคูลัสเชิงกริยา, ตรรกะลำดับแรก, ... )
ความสัมพันธ์รวมผลลัพธ์หลายรายการในฟิลด์เดียวที่ได้รับโดยใช้เทคนิคจากฟิลด์อื่น มันถูกคาดเดาว่า P! = NP สามารถถูกโจมตีเป็นปัญหาในลอจิก (โดยการคาดการณ์ปัญหาจากโดเมนของคลาสที่ซับซ้อนเพื่อลอจิก)
มีการสรุปที่ดีของเทคนิคและผลลัพธ์เหล่านี้หรือไม่