Logic and Discrete Mathematics: A Concise Introduction
Willem Conradie, Valentin Goranko

Informasi Umum

Kode

16.01.683

Klasifikasi

511.3 - Mathematical logic, symbolic logic; combinatory logic; formal languages

Jenis

Buku - Circulation (Dapat Dipinjam)

Subjek

Logic, Symbolic & Mathematical, Computer Science-mathematics

No. Rak

Tel-U Bandung - Gedung Manterawu Lantai 5 : Rak 10a
Tel-U Purwokerto : Rak 5

Dilihat

139 kali

Informasi Lainnya

Abstraksi

This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in university courses taught over more than a decade.

The chapters on logic - propositional and first-order - provide a robust toolkit for logical reasoning, emphasizing the conceptual understanding of the language and the semantics of classical logic as well as practical applications through the easy to understand and use deductive systems of Semantic Tableaux and Resolution. The chapters on set theory, number theory, combinatorics and graph theory combine the necessary minimum of theory with numerous examples and selected applications. Written in a clear and reader-friendly style, each section ends with an extensive set of exercises, most of them provided with complete solutions which are available in the accompanying solutions manual.

Key Features:

• Suitable for a variety of courses for students in both Mathematics and Computer Science.

• Extensive, in-depth coverage of classical logic, combined with a solid exposition of a selection of the most important fields of discrete mathematics

• Concise, clear and uncluttered presentation with numerous examples.

• Covers some applications including cryptographic systems, discrete probability and network algorithms.

Logic and Discrete Mathematics: A Concise Introduction is aimed mainly at undergraduate courses for students in mathematics and computer science, but the book will also be a valuable resource for graduate modules and for self-study.

• SMH2F3 - MATEMATIKA DISKRIT
• FEH2J3 - MATEMATIKA DISKRIT B
• CSH6E3 - STATISTICAL BIG DATA MINING
• MSH2A3 - MATEMATIKA DISKRIT A
• FEH2J3 - MATEMATIKA DISKRIT B
• MSH2A3 - MATEMATIKA DISKRIT A
• MSH2A3 - MATEMATIKA DISKRIT A
• DPH1A3 - LOGIKA MATEMATIKA
• SMH2C3 - LOGIKA MATEMATIKA
• MSH1B3 - LOGIKA MATEMATIKA
• BM63P4 - LOGIKA DAN ALGORITMA
• DPH1A3 - LOGIKA MATEMATIKA
• MSH1B3 - LOGIKA MATEMATIKA A
• CEH2C3 - LOGIKA MATEMATIKA B
• FEH2J3 - MATEMATIKA DISKRIT B
• VSI1F3 - LOGIKA MATEMATIKA
• VAI1E2 - LOGIKA MATEMATIKA
• CII1B3 - LOGIKA MATEMATIKA
• VEI1E3 - MATEMATIKA DISKRIT
• TKI2A3 - MATEMATIKA DISKRET
• TKI1B3 - LOGIKA MATEMATIKA
• VII1C3 - MATEMATIKA INFORMATIKA 1
• TKI2A3 - MATEMATIKA DISKRET
• TKI2A3 - MATEMATIKA DISKRET
• TKI2A3 - MATEMATIKA DISKRET
• CII1B3 - LOGIKA MATEMATIKA
• CII1B3 - LOGIKA MATEMATIKA
• CPI1B3 - LOGIKA MATEMATIKA
• CII-1B3 - LOGIKA MATEMATIKA
• CII1B3 - LOGIKA MATEMATIKA
• GDK1EAB2 - Logika Matematika
• CCK1CAB3 - Logika Matematika
• CCK1HAB3 - Matematika Diskrit
• CDK1DAB3 - Logika Matematika
• CDK1IAB3 - Matematika Diskrit
• CAK1DAB3 - Logika Matematika
• CAK1EAB3 - Matematika Diskrit
• CAK1DAB3 - Logika Matematika
• CAK1EAB3 - Matematika Diskrit
• AZK1JAB3 - Matematika Diskret
• GIK1EAB2 - Matematika Diskrit
• GCK1EAB2 - Matematika Diskrit
• GHK1DAB3 - Matematika Diskrit
• CBK1IAB3 - Matematika Diskrit
• ACK1AAB2 - Logika Matematika
• CBK1AAB3 - Logika Matematika
• ACK4FBB3 - Big Data

Koleksi & Sirkulasi

Tersedia 2 dari total 2 Koleksi

Pengarang

Nama	Willem Conradie, Valentin Goranko
Jenis	Perorangan
Penyunting
Penerjemah

Penerbit

Nama	Wiley
Kota	New Jersey
Tahun	2015

Sirkulasi

Harga sewa	IDR 0,00
Denda harian	IDR 1.000,00
Jenis	Sirkulasi

Download / Flippingbook