LEADER 00984nam a2200241 i 4500 001 991002921659707536 005 20020503174927.0 008 950908s1974 va ||| | ita 035 $ab10432905-39ule_inst 035 $aEXGIL111991$9ExL 040 $aBiblioteca Interfacoltà$bita 100 1 $aBrown, Frank Edward$0465847 245 10$aGisela Marie Augusta Richter, litt. d. /$cdi Frank E. Brown 260 $a[Città del Vaticano] :$bTip. poliglotta vaticana,$c[ca 1974] 300 $aP. 15-19 ;$c25 cm. 500 $aEstratto da: Rendiconti della pontificia accademia romana di archeologia ; vol. 46, 1973-74. 650 4$aRichter, Gisela M.A. 907 $a.b10432905$b02-04-14$c27-06-02 912 $a991002921659707536 945 $aLE002 Fondo Brown 840$g1$iLE002-18456N$lle002$o-$pE0.00$q-$rn$so $t0$u0$v0$w0$x0$y.i10502488$z27-06-02 996 $aGisela Marie Augusta Richter, litt. d$9223173 997 $aUNISALENTO 998 $ale002$b01-01-95$cm$da $e-$fita$gxx $h0$i1 LEADER 01392nam 2200421 450 001 9910708275103321 005 20131105070026.0 035 $a(CKB)4970000000040803 035 $a(OCoLC)862105252 035 $a(EXLCZ)994970000000040803 100 $a20131105d2013 ua 0 101 0 $aeng 135 $aurmn||||||||| 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 10$aMedicare $eownership status of inpatient prospective payment system hospitals that qualify for payment adjustments /$fJames Cosgrove 210 1$aWashington, DC :$cU.S. Government Accountability Office,$d2013. 215 $a1 online resource (6 pages) $ccolor illustration 300 $aTitle from title screen (viewed Oct. 31, 2013). 300 $a"June 27, 2013." 300 $a"GAO-13-667R." 320 $aIncludes bibliographical references. 517 $aMedicare 606 $aMedicare 606 $aHospitals$xProspective payment$zUnited States 606 $aHospitals$xOwnership$zUnited States 615 0$aMedicare. 615 0$aHospitals$xProspective payment 615 0$aHospitals$xOwnership 700 $aCosgrove$b James C.$01395889 712 02$aUnited States.$bGovernment Accountability Office, 801 0$bGPO 801 1$bGPO 906 $aDOCUMENT 912 $a9910708275103321 996 $aMedicare$93462118 997 $aUNINA LEADER 03859nam 22005175 450 001 9910484276203321 005 20200711021212.0 010 $a3-662-54973-5 024 7 $a10.1007/978-3-662-54973-5 035 $a(CKB)4340000000223852 035 $a(DE-He213)978-3-662-54973-5 035 $a(PPN)22124803X 035 $a(EXLCZ)994340000000223852 100 $a20171127d2017 u| 0 101 0 $ager 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aPräzises Denken für Informatiker /$fvon Karsten Wolf 205 $a1st ed. 2017. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer Vieweg,$d2017. 215 $a1 online resource (VI, 184 S. 56 Abb.) 311 $a3-662-54972-7 327 $aVorrede -- Erste Bekanntschaft -- Weitere Grundlagen -- Höhere Kunst -- Auf dem Weg zur Meisterschaft -- Wie geht es weiter?. 330 $aDas Lehrbuch befasst sich mit dem präzisen Denken, einer Schlüsselkompetenz im Studium der Informatik. Es bildet die Vorstufe für das Verständnis der logischen Grundfunktionen der Informatik. Das Erlernen der mathematischen Logik ist ein wesentlicher Bestandteil des Grundstudiums, da  das logische Denken in der Informatik auf den gleichen Regeln und Techniken basiert wie in der Mathematik. Der Autor führt umfassend in die Aussagenlogik ein und erklärt unter anderem die Bedeutungen von logischer Äquivalenz, Implikation und Induktion für diesen Fachbereich. Darüber hinaus definiert er den Beweis aus Sicht der Mathematik und stellt grundlegende Beweisstrategien vor, die im Studium benötigt werden. Mit den in diesem Lehrbuch vorgestellten Techniken des präzisen Denkens erwerben die Studenten die Fähigkeit, Begriffe punktgenau zu definieren, Aussagen trennscharf zu formulieren und ihre Richtigkeit angemessen zu begründen. Viele praxisnahe Aufgaben und Lösungshinweise innerhalb der Kapitel erleichtern die Überprüfung und Vertiefung des Lernstoffs. Der Autor richtet sich vornehmlich an Bachelorstudenten der ersten Semester. Sie finden in diesem Werk eine optimale Vorbereitung auf die Logik-Seminare ihres Informatikstudiums. Die vermittelten Kompetenzen verbessern dabei nicht nur das Verständnis im Informatik-Studium, sondern sind ebenso für das spätere Berufsleben von großer Bedeutung. Darüber hinaus erhalten auch interessierte Laien mit diesem Buch einen interessanten Einblick in die  Welt der Informatik und Mathematik und lernen, dass die Fähigkeit zu präzisem Denken auch jenseits dieser Fachbereiche hilfreich sein kann. . 606 $aLogic, Symbolic and mathematical 606 $aAlgorithms 606 $aComputer science?Mathematics 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 606 $aSymbolic and Algebraic Manipulation$3https://scigraph.springernature.com/ontologies/product-market-codes/I17052 615 0$aLogic, Symbolic and mathematical. 615 0$aAlgorithms. 615 0$aComputer science?Mathematics. 615 14$aMathematical Logic and Formal Languages. 615 24$aMathematical Logic and Foundations. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aSymbolic and Algebraic Manipulation. 676 $a005.131 700 $aWolf$b Karsten$4aut$4http://id.loc.gov/vocabulary/relators/aut$01228422 906 $aBOOK 912 $a9910484276203321 996 $aPräzises Denken für Informatiker$92851833 997 $aUNINA