Proof and disproof in formal logic An introduction for programmers

Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic providing an excellent insight into how a simple logic works. Formal logic allows you to check a logical claim without considering what the claim means. This highly abstracted idea is an essential and practi...

সম্পূর্ণ বিবরণ

সংরক্ষণ করুন:
গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Bornat, Richard
অন্যান্য লেখক: Richard Bornat
ভাষা:Undetermined
English
প্রকাশিত: New York Oxford University Press 2005
বিষয়গুলি:
ট্যাগগুলো: ট্যাগ যুক্ত করুন
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Trà Vinh