0
Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic

Buy Now

Mathematical Logic In Asia - Proceedings Of The 9th Asian Logic Conference (Hardcover) Loot Price: R4,822
Discovery Miles 48 220
Mathematical Logic In Asia - Proceedings Of The 9th Asian Logic Conference (Hardcover): Sergei S. Goncharov, Hiroakira Ono,...

Mathematical Logic In Asia - Proceedings Of The 9th Asian Logic Conference (Hardcover)

Sergei S. Goncharov, Hiroakira Ono, Rodney G. Downey

 (sign in to rate)
Loot Price R4,822 Discovery Miles 48 220 | Repayment Terms: R452 pm x 12*

Bookmark and Share

Expected to ship within 12 - 19 working days

This volume is devoted to the main areas of mathematical logic and applications to computer science. There are articles on weakly o-minimal theories, algorithmic complexity of relations, models within the computable model theory, hierarchies of randomness tests, computable numberings, and complexity problems of minimal unsatisfiable formulas. The problems of characterization of the deduction-detachment theorem, Δ 1-induction, completeness of Lesniewski's systems, and reduction calculus for the satisfiability problem are also discussed. The coverage includes the answer to Kanovei's question about the upper bound for the complexity of equivalence relations by convergence at infinity for continuous functions. The volume also gives some applications to computer science such as solving the problems of inductive interference of languages from the full collection of positive examples and some negative data, the effects of random negative data, methods of formal specification and verification on the basis of model theory and multiple-valued logics, interval fuzzy algebraic systems, the problems of information exchange among agents on the base topological structures, and the predictions provided by inductive theories.

General

Imprint: World Scientific Publishing Co Pte Ltd
Country of origin: Singapore
Release date: October 2006
First published: October 2006
Editors: Sergei S. Goncharov • Hiroakira Ono • Rodney G. Downey
Dimensions: 229 x 159 x 22mm (L x W x T)
Format: Hardcover
Pages: 328
ISBN-13: 978-981-270-045-2
Categories: Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
Promotions
LSN: 981-270-045-5
Barcode: 9789812700452

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Principia Mathematica
Russell Bertrand Russell Hardcover R1,292 Discovery Miles 12 920
Principia Mathematica
Russell Bertrand Russell Hardcover R1,332 Discovery Miles 13 320
Foundations without Foundationalism - A…
Stewart Shapiro Hardcover R5,439 Discovery Miles 54 390
Logic for Physicists
Nicolas A Pereyra Paperback R793 Discovery Miles 7 930
Elementary Lessons in Logic - Deductive…
William Stanley Jevons Paperback R600 Discovery Miles 6 000
The Facts Matter - Essays on Logic and…
Sujata Ghosh Paperback R453 Discovery Miles 4 530
Best Books gegradeerde leesreeks: Vlak 1…
Best Books Paperback R90 R85 Discovery Miles 850
From Quantum Information to Musical…
Maria Luisa Dalla Chiara, Roberto Giuntini, … Paperback R550 Discovery Miles 5 500
The Art of Logic - How to Make Sense in…
Eugenia Cheng Paperback  (1)
R355 R300 Discovery Miles 3 000
Algebras, Lattices, Varieties - Volume…
Ralph S Freese, Ralph N. McKenzie, … Paperback R3,238 Discovery Miles 32 380
Theory and Applications of…
Florentin Smarandache, Madeline Al-Tahan Hardcover R7,211 Discovery Miles 72 110
The Scientific Art of Logic
Edward D Simmons Hardcover R1,371 R1,139 Discovery Miles 11 390

See more

Partners