Skip to content

Booksellers & Trade Customers: Sign up for online bulk buying at trade.atlanticbooks.com for wholesale discounts

Booksellers: Create Account on our B2B Portal for wholesale discounts

Präzises Denken Für Informatiker

by Karsten Wolf
Save 35% Save 35%
Current price ₹2,265.00
Original price ₹3,484.00
Original price ₹3,484.00
Original price ₹3,484.00
(-35%)
₹2,265.00
Current price ₹2,265.00

Imported Edition - Ships in 12-14 Days

Free Shipping in India on orders above Rs. 500

Request Bulk Quantity Quote
+91
Book cover type: Paperback
  • ISBN13: 9783662549728
  • Binding: Paperback
  • Subject: N/A
  • Publisher: Springer Vieweg
  • Publisher Imprint: Springer Vieweg
  • Publication Date:
  • Pages: 184
  • Original Price: EUR 30.83
  • Language: German
  • Edition: 1. Aufl. 2017
  • Item Weight: 313 grams
  • BISAC Subject(s): Logic

Das 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 derKapitel 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.


Karsten Wolf studierte (1988-1993), promovierte (1996), habilitierte sich (2002) und arbeitete mehrere Jahre (1993-2005) an der Humboldt-Universität zu Berlin. Zwischendurch war erjeweils 8-12 Monate an der Helsinki University of Technology (1996), der Technischen Universität Dresden (1997) und der Carnegie MellonUniversity Pittsburgh (2000-2001) tätig. Seit 2006 ist er Professoran der Universität Rostock, zunächst für Theorie der Programmiersprachenund Programmierung, seit 2014 für Theoretische Informatik.Karsten Wolf forscht an computergestützten Methoden, deren Ziel es ist, Fehler in verteilten Informationssystemen zu finden bzw. zu vermeiden.Im vorliegenden Buch verarbeitet er seine über 20-jährige Erfahrung inLehrveranstaltungen für Erstsemester zum Thema "Logik für Informatiker".

Trusted for over 49 years

Family Owned Company

Secure Payment

All Major Credit Cards/Debit Cards/UPI & More Accepted

New & Authentic Products

India's Largest Distributor

Need Support?

Whatsapp Us