Rövidített megjelenítés

dc.contributorBudapest University of Technology and Economicsen_EN
dc.creatorMiklós Ferenczien_EN
dc.creatorMiklós Szőtsen_EN
dc.date2011-05-31en_EN
dc.date.accessioned2019-08-08T13:05:49Z
dc.date.available2019-08-08T13:05:49Z
dc.identifierISBN: 978-963-279-460-0en_EN
dc.identifier.urihttp://dtk.tankonyvtar.hu/xmlui/handle/123456789/7589
dc.descriptionThis 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, artificial 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.en_EN
dc.formatapplication/pdfen_EN
dc.languageenen_EN
dc.publisherTypotex Kiadóen_EN
dc.rightsMiklós Ferenczien_EN
dc.rightsMiklós Szőtsen_EN
dc.rightsBudapest University of Technology and Economicsen_EN
dc.sourceKönyv formában nem jelent meg [ISBN: 978-963-279-460-0]en_EN
dc.subjectMathematical logicen_EN
dc.subjectSymbolic logicen_EN
dc.subjectFormal languagesen_EN
dc.subjectModel theoryen_EN
dc.subjectProof theoryen_EN
dc.subjectNon-classical logicsen_EN
dc.subjectAlgebraic logicen_EN
dc.subjectLogic programmingen_EN
dc.subjectComplexity theoryen_EN
dc.subjectKnowledge based systemsen_EN
dc.subjectAuthomated theorem provingen_EN
dc.subjectLogic in computer scienceen_EN
dc.subjectProgram verification and specification.en_EN
dc.titleMathematical Logic for Applicationsen_EN
dc.typetexten_EN
dtk.firComputer Science and Information Technologyen_EN
dtk.firNatural Scienceen_EN
dtk.oecd01. Natural sciences::01.01. Mathematicsen_EN
dtk.playerpdfplayeren_EN
dtk.purchaseTÁMOP-4.1.2-08/2/A/KMR-2009-0027 Budapesti Műszaki és Gazdaságtudományi Egyetemen_EN
dtk.size120 pen_EN
dtk.typebooken_EN
dtk.udc---- MAIN TABLES::0 SCIENCE AND KNOWLEDGE. ORGANIZATION. COMPUTER SCIENCE. INFORMATION. DOCUMENTATION. LIBRARIANSHIP. INSTITUTIONS. PUBLICATIONS::005 Management::51 Mathematics::510 Fundamental and general considerations of mathematics::510.6 Mathematical logicen_EN


A dokumentumhoz tartozó fájlok

Thumbnail

A dokumentum a következő gyűjtemény(ek)ben található meg

Rövidített megjelenítés