MARC details
000 -LIDER |
fixed length control field |
03923nam a22005535i 4500 |
001 - CONTROL NUMBER |
control field |
978-3-319-92591-2 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
DE-He213 |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20210201191317.0 |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
fixed length control field |
cr nn 008mamaa |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
181103s2018 gw | s |||| 0|eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9783319925912 |
-- |
978-3-319-92591-2 |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
Classification number |
QA76.9.L63 |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
Classification number |
QA76.5913 |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
UM |
Source |
bicssc |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
COM051000 |
Source |
bisacsh |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
UM |
Source |
thema |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
UYF |
Source |
thema |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
005.1015113 |
Edition number |
23 |
100 1# - MAIN ENTRY--PERSONAL NAME |
Personal name |
Wasilewska, Anita. |
Relator term |
author. |
Relator code |
aut |
-- |
http://id.loc.gov/vocabulary/relators/aut |
245 10 - TITLE STATEMENT |
Title |
Logics for Computer Science |
Medium |
[electronic resource] : |
Remainder of title |
Classical and Non-Classical / |
Statement of responsibility, etc. |
by Anita Wasilewska. |
250 ## - EDITION STATEMENT |
Edition statement |
1st ed. 2018. |
264 #1 - |
-- |
Cham : |
-- |
Springer International Publishing : |
-- |
Imprint: Springer, |
-- |
2018. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
X, 535 p. 1 illus. |
Other physical details |
online resource. |
336 ## - |
-- |
text |
-- |
txt |
-- |
rdacontent |
337 ## - |
-- |
computer |
-- |
c |
-- |
rdamedia |
338 ## - |
-- |
online resource |
-- |
cr |
-- |
rdacarrier |
347 ## - |
-- |
text file |
-- |
PDF |
-- |
rda |
500 ## - GENERAL NOTE |
General note |
Acceso multiusuario |
505 0# - FORMATTED CONTENTS NOTE |
Formatted contents note |
1: Introduction: Paradoxes and Puzzles -- 2: Introduction to Classical Logic -- 3: Propositional Semantics: Classical and Many Valued -- 4: General Proof Systems: Syntax and Semantics -- 5: Hilbert Proof Systems: Deduction and Completeness Theorems for Classical Propositional Logic -- 6: Automated Proof Systems -- 7: Introduction to Intuitionistic and Modal Logics -- 8: Classical Predicate Semantics and Proof Systems -- 9: Completeness and Deduction Theorems for Classical Predicate Logic -- 10: Predicate Automated Proof Systems -- 11: Formal Theories and Godel Theorems. |
520 ## - SUMMARY, ETC. |
Summary, etc. |
The theory of computation is based on concepts defined by logicians and mathematicians. Logic plays a fundamental role in computer science, and this book explains the basic theorems, as well as different techniques of proving them in classical and some non-classical logics. Important applications derived from concepts of logic for computer technology include Artificial Intelligence and Software Engineering. Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists. Logics for Computer Science contains intuitive introductory chapters explaining the need for logical investigations, motivations for different types of logics and some of their history. They are followed by strict formal approach chapters. All chapters contain many detailed examples explaining each of the introduced notions and definitions, well chosen sets of exercises with carefully written solutions, and sets of homework. Includes links to the author's companion lecture slides for each chapter: several hundred presentations which summarize the ideas presented in the chapters for ease of comprehension. |
541 ## - IMMEDIATE SOURCE OF ACQUISITION NOTE |
Owner |
UABC ; |
Method of acquisition |
Temporal ; |
Date of acquisition |
01/01/2021-12/31/2023. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Término temático o nombre geográfico como elemento de entrada |
Computer logic. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Término temático o nombre geográfico como elemento de entrada |
Mathematical logic. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Término temático o nombre geográfico como elemento de entrada |
Artificial intelligence. |
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Término temático o nombre geográfico como elemento de entrada |
Logics and Meanings of Programs. |
-- |
https://scigraph.springernature.com/ontologies/product-market-codes/I1603X |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Término temático o nombre geográfico como elemento de entrada |
Mathematical Logic and Foundations. |
-- |
https://scigraph.springernature.com/ontologies/product-market-codes/M24005 |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Término temático o nombre geográfico como elemento de entrada |
Artificial Intelligence. |
-- |
https://scigraph.springernature.com/ontologies/product-market-codes/I21000 |
710 2# - ADDED ENTRY--CORPORATE NAME |
Corporate name or jurisdiction name as entry element |
SpringerLink (Online service) |
773 0# - HOST ITEM ENTRY |
Title |
Springer Nature eBook |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
Relationship information |
Printed edition: |
International Standard Book Number |
9783319925905 |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
Relationship information |
Printed edition: |
International Standard Book Number |
9783319925929 |
856 40 - ELECTRONIC LOCATION AND ACCESS |
Public note |
Libro electrónico |
Uniform Resource Identifier |
http://148.231.10.114:2048/login?url=https://doi.org/10.1007/978-3-319-92591-2 |
912 ## - |
-- |
ZDB-2-SCS |
912 ## - |
-- |
ZDB-2-SXCS |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Koha item type |
Libro Electrónico |