Elementare Aussagenlogik

Name: Elementare Aussagenlogik
Brand: Springer Nature
SKU: 9783540529743
Availability: InStock

Best Price (Coupon Required):
Buy Elementare Aussagenlogik for $45.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $49.99 - $49.99

BEST PRICE

Single Product Purchase

$45.00

@ Link.springer.com with extra coupon

Price Comparison

Seller	Contact Seller	List Price	On Sale	Shipping	Best Promo	Final Price	Volume Discount	Financing	Availability	Seller's Page
BEST PRICE 1 Product Purchase @ Link.springer.com		$49.99	$49.99		10% OFF This deals requires coupon	$45.00		See Site	In stock	Visit Store

Product Details

Brand

Springer Nature

Manufacturer

N/A

Part Number

GTIN

9783540529743

Condition

New

Product Description

Dieses Buch ber elementare Aussagenlogik (wie auch seine geplante Fortsetzung ber Elementare Prdikatenlogik und Universelle Algebra) ist aus Vorlesungen an der Technischen Universitt Mnchen entstanden. Es basiert auf der berzeugung, da fr Studierende der Informatik nicht nur ein anderer Aufbau des mathematischen Grundstudiums geboten ist als etwa fr Ingenieure oder Physiker, sondern auch ein anderes Men, als es sich an unseren Universitten nach den GAMM-NTG-Empfehlungen der siebziger Jahre eingebrgert hat. Neben den unentbehrlichen Einfhrungsvorlesungen in Mathematik sind fr die Informatiker vor dem Vordiplom handwerkliche Grundkenntnisse in Logik und Universeller Algebra erforderlich - als Grundlage fr die Praktische und die Theoretische Informatik im zweiten Studienabschnitt. Im Gegensatz zu vielen anderen Bchern ber Logik ist dieses fr den Anfnger der Informatik geschrieben und didaktisch auf sein Niveau eingestellt. Dabei sind sonst eher auerhalb der Aussagenlogik liegende Gegenstnde wie die Schaltlogik systematisch einbezogen worden, wo immer es mglich war: von dem fr die Programmiersprachen so wichtigen Gebiet der dyadischen Fallunterscheidungen ber die Resolventenmethode, die den Anschlu an die Prdikatenlogik vorbereitet, bis zu modalen Aussagenlogiken. Die eingestreuten bungsaufgaben greifen hufig Gedanken auf, die im Text nur nebenbei erwhnt sind, und stellen Querbezge her. Die Lsungshinweise am Ende des Buches bieten manche berraschungen.

Available Colors

N/A

Available Sizes

N/A