책 이미지
eBook 미리보기
책 정보
· 제목 : Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction (Paperback, Softcover Repri)
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9783319342689
· 쪽수 : 695쪽
· 출판일 : 2016-08-23
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9783319342689
· 쪽수 : 695쪽
· 출판일 : 2016-08-23
목차
Mathematician's world.- Language, logic and computations.- Set theory.- Proofs of impossibility.- The complexity of computations.- Proof complexity.- Consistency, Truth and Existence.- References.
