A Study on Expressing the Hamiltonian Path Problem inecond-Order Logic with Some Additional Predicate Symbols
Date Issued
2009
Date
2009
Author(s)
Wu, Wei-Lin
Abstract
Logic is a branch of mathematics that investigates the deductions about statements and is recognizeds the study of reasoning. Because of this, the whole mathematics can be investigatedy logic and is even governed by it since the essentials of mathematics consist of statementsbout mathematical objects and the proofs that verify these statements. Since the underlyingoncept of algorithms, the critical part of theoretical computer science, is that of computation,hich is also a mathematical object, it can aslo be analyzed by logic. In this thesis we providehe basic properties of logic, and then use them to investigate some computational problems,specially the graph-theoretic problem Hamiltonian path.
Subjects
propositional logic
predicate logic
first-order logic
existential second-order logic
Hamiltonian path
Type
thesis
File(s)![Thumbnail Image]()
Loading...
Name
ntu-98-R96922105-1.pdf
Size
23.32 KB
Format
Adobe PDF
Checksum
(MD5):05660ea14da52441eec2309d714584f4