Asset Details
MbrlCatalogueTitleDetail
Do you wish to reserve the book?
المنطق الرمزي المعاصر : نظري وتمارين محلولة
by
الجنابي، أسعد مؤلف
in
المنطق الرمزي والرياضي اختبارات، أسئلة، إلخ
/ المنطق الرمزي والرياضي مسائل، تمارين، إلخ.
2007
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.
You are currently in the queue to collect this book. You will be notified once it is your turn to collect the book.
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?
Oops! Something went wrong.
While trying to remove the title from your shelf something went wrong :( Kindly try again later!
Do you wish to request the book?
المنطق الرمزي المعاصر : نظري وتمارين محلولة
by
الجنابي، أسعد مؤلف
in
المنطق الرمزي والرياضي اختبارات، أسئلة، إلخ
/ المنطق الرمزي والرياضي مسائل، تمارين، إلخ.
2007
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!
Request Book From Autostore
and Choose the Collection Method
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 |
This website uses cookies to ensure you get the best experience on our website.