Asset Details
Do you wish to reserve the book?
المنطق الرمزي المعاصر : نظري وتمارين محلولة
Hey, we have placed the reservation for you!
By the way, why not check out events that you can attend while you pick your title.
Oops! Something went wrong.
Looks like we were not able to place the reservation. Kindly try again later.
Are you sure you want to remove the book from the shelf?
المنطق الرمزي المعاصر : نظري وتمارين محلولة
Do you wish to request the book?
المنطق الرمزي المعاصر : نظري وتمارين محلولة
Please be aware that the book you have requested cannot be checked out. If you would like to checkout this book, you can reserve another copy
We have requested the book for you!
Your request is successful and it will be processed during the Library working hours. Please check the status of your request in My Requests.
Oops! Something went wrong.
Looks like we were not able to place your request. Kindly try again later.
Book
المنطق الرمزي المعاصر : نظري وتمارين محلولة
2007
Available to read in the library!
Overview
يمثل هذا الكتاب مدخلا إلى المنطق الرمزي المعاصر ويعرض بأسلوب مبسط ودقيق حساب القضايا حيث تدرس دلالته وتركيبة، الأستنتاج الطبيعي. هنا يتناول قواعد الاشتقاق وأنواع البراهين الصورية تم بناء نسق لحساب القضايا مع براهين صفات هذا النسق. حساب المحمولات يتم إدخاله كتوسيع لحساب القضايا، حيث تدرس دلالته من خلال البناءات التفسيرية وتركيبه، الاستنتاج الطبيعي لحساب المحمولات يقوم على إضافة قواعد اشتقاق جديدة، ثم يتم توسيعه بدراسة مفهوم الهوية يبنى النسق الصوري لحساب المحمولات. تدرس أشجار الصدق كطريقة أخرى فعالة وسلسة في حساب القضايا وأخيرا لتحديد : أنواع الصيغ، تكافئها، اتساقها وعدم اتساقها، كما يتم تعميمها على حساب المحمولات. إنه أول كتاب باللغة العربية يحوي حلولا مفصلة لمئات التمارين، التي تمثل مساعدة حقيقية للقارئ لتثبيت المعالجات النظرية المعاصرة في هذا الكتاب.
Publisher
دار الشروق للنشر والتوزيع
ISBN
9957003062, 9789957003067
Item info:
2
items available
2
items total in all locations
| Call Number | Copies | Material | Location |
|---|---|---|---|
| BC 135 .J36 2007 | 2 | BOOK | AUTOSTORE |
