Mathematical Logic For Computer Science

ยท World Scientific Series In Computer Science 13๊ถŒ ยท World Scientific
eBook
260
ํŽ˜์ด์ง€
์ ์šฉ ๊ฐ€๋Šฅ
๊ฒ€์ฆ๋˜์ง€ ์•Š์€ ํ‰์ ๊ณผ ๋ฆฌ๋ทฐ์ž…๋‹ˆ๋‹ค. ย ์ž์„ธํžˆ ์•Œ์•„๋ณด๊ธฐ

eBook ์ •๋ณด

This book describes the aspects of mathematical logic related to computer sciences. The materials adopted in this book are intended to attend to both the peculiarities of logical systems and the requirements of computer science.

์ด eBook ํ‰๊ฐ€

์˜๊ฒฌ์„ ์•Œ๋ ค์ฃผ์„ธ์š”.

์ฝ๊ธฐ ์ •๋ณด

์Šค๋งˆํŠธํฐ ๋ฐ ํƒœ๋ธ”๋ฆฟ
Android ๋ฐ iPad/iPhone์šฉ Google Play ๋ถ ์•ฑ์„ ์„ค์น˜ํ•˜์„ธ์š”. ๊ณ„์ •๊ณผ ์ž๋™์œผ๋กœ ๋™๊ธฐํ™”๋˜์–ด ์–ด๋””์„œ๋‚˜ ์˜จ๋ผ์ธ ๋˜๋Š” ์˜คํ”„๋ผ์ธ์œผ๋กœ ์ฑ…์„ ์ฝ์„ ์ˆ˜ ์žˆ์Šต๋‹ˆ๋‹ค.
๋…ธํŠธ๋ถ ๋ฐ ์ปดํ“จํ„ฐ
์ปดํ“จํ„ฐ์˜ ์›น๋ธŒ๋ผ์šฐ์ €๋ฅผ ์‚ฌ์šฉํ•˜์—ฌ Google Play์—์„œ ๊ตฌ๋งคํ•œ ์˜ค๋””์˜ค๋ถ์„ ๋“ค์„ ์ˆ˜ ์žˆ์Šต๋‹ˆ๋‹ค.
eReader ๋ฐ ๊ธฐํƒ€ ๊ธฐ๊ธฐ
Kobo eReader ๋“ฑ์˜ eBook ๋ฆฌ๋”๊ธฐ์—์„œ ์ฝ์œผ๋ ค๋ฉด ํŒŒ์ผ์„ ๋‹ค์šด๋กœ๋“œํ•˜์—ฌ ๊ธฐ๊ธฐ๋กœ ์ „์†กํ•ด์•ผ ํ•ฉ๋‹ˆ๋‹ค. ์ง€์›๋˜๋Š” eBook ๋ฆฌ๋”๊ธฐ๋กœ ํŒŒ์ผ์„ ์ „์†กํ•˜๋ ค๋ฉด ๊ณ ๊ฐ์„ผํ„ฐ์—์„œ ์ž์„ธํ•œ ์•ˆ๋‚ด๋ฅผ ๋”ฐ๋ฅด์„ธ์š”.
๋ถˆ๋ฒ• ์ฝ˜ํ…์ธ  ์‹ ๊ณ 

์‹œ๋ฆฌ์ฆˆ ๊ณ„์†

Computer Vision And Shape Recognition
Ching Yee Suen
14๊ถŒโ€ข์ปดํ“จํ„ฐ ๋ฐ ๊ธฐ์ˆ 
โ‚ฌ55.50โ‚ฌ38.85
Stochastic Complexity In Statistical Inquiry
Jorma Rissanen
15๊ถŒ
โ‚ฌ31.45โ‚ฌ22.02
Perspective In Theoretical Computer Science, A: Commemorative Volume For Gift Siromoney
R Narasimhan
16๊ถŒโ€ข์ปดํ“จํ„ฐ ๋ฐ ๊ธฐ์ˆ 
โ‚ฌ64.75โ‚ฌ45.32
Computer Transformation Of Digital Images And Patterns
Zi-cai Li
17๊ถŒโ€ข์ปดํ“จํ„ฐ ๋ฐ ๊ธฐ์ˆ 
โ‚ฌ40.70โ‚ฌ28.49

Zhongwan Lu ์ž‘๊ฐ€์˜ ์ฑ… ๋”๋ณด๊ธฐ

Mathematical Logic For Computer Science (2nd Edition)
Zhongwan Lu
47๊ถŒโ€ข์ปดํ“จํ„ฐ ๋ฐ ๊ธฐ์ˆ 
โ‚ฌ30.53โ‚ฌ21.37

๋น„์Šทํ•œ eBook

Computer Vision And Shape Recognition
Ching Yee Suen
14๊ถŒโ€ข์ปดํ“จํ„ฐ ๋ฐ ๊ธฐ์ˆ 
โ‚ฌ55.50โ‚ฌ38.85
Computer-aided Specification Techniques
Janos Demetrovics
1๊ถŒโ€ข์ปดํ“จํ„ฐ ๋ฐ ๊ธฐ์ˆ 
โ‚ฌ31.45โ‚ฌ22.02
But how Do it Know?: The Basic Principles of Computers for Everyone
J. Clark Scott
์ปดํ“จํ„ฐ ๋ฐ ๊ธฐ์ˆ 
โ‚ฌ9.21
Software Engineering Handbook
Yusuf Aytas
์ปดํ“จํ„ฐ ๋ฐ ๊ธฐ์ˆ 
โ‚ฌ7.62