Ez az oldal sütiket használ

Az edu.interkonyv.hu weboldal felületén sütiket (cookies) használ, vagyis a rendszer adatokat tárol az Ön böngészőjében. A sütik személyek azonosítására nem alkalmasak, szolgáltatásaink biztosításához szükségesek. Az oldal használatával Ön beleegyezik a sütik használatába. További információért kérjük, olvassa el adatvédelmi elveinket!

 
HU / EN
Mathematical Logic for Applications

This book is recommended for those readers who have completed some introductory course in Logic. It can be used from the level MSc. It is recommended also to specialists who wish to apply Logic: software engineers, computer scientists, physicists, mathematicians, philosophers, linguists, etc. Our aim is to give a survey of Logic, from the abstract level to the applications, with an emphasis on the latter one. An extensive list of references is attached. As regards problems or proofs, for the lack of space, we refer the reader to the literature, in general. We do not go into the details of those areas of Logic which are bordering with some other discipline, e.g., formal languages, algorithm theory, database theory, logic design, arti cial intelligence, etc. We hope that the book helps the reader to get a comprehensive impression on Logic and guide him or her towards selecting some specialization.

MegnevezésOldalakMéret
Mathematical Logic for Applications (teljes e-könyv)
1-121 1.1 MB
Prelims and Contents
1-6 463 kB Kérjük, a nyomtatás a funkcióhoz jelentkezzen be!
Ajánlott könyvek