💢💢كتاب آشنايي با منطق رياضي
@qomat

💢💢كتاب آشنايي با منطق رياضي

✅ اين كتاب برخورد رياضي با افكار و قضيه هاي اساسي منطق را عرضه مي دارد، و به عنوان كتاب درسي براي يك درس رياضي مقدماتي منطق در سطح سال سوم يا چهارم تدوين شده است. هدف آن ارائه مفاهيم و قضاياي منطق و توضيح اهميت آنها و رابطه ي آنها با بقيه ي پژوهش هاي رياضي است.

✅ به عنوان كتاب درسي اين كتاب را مي توان براي يك درس سه ماهه تا يك ساله به كاربرد.

✅ اين كتاب براي خواننده اي تدوين شده است كه قبلا منطق نخوانده است اما تجربيات چندي در استدلال رياضي دارد. جزء اشتياق براي كار در سطح معيني از دقت پيشنياز خاص ديگري لازم نيست .
@qomat

برنامه سخنرانی های کارگاه آموزشی «منطق موجهات و کاربرد آن در علوم رایانه» که از روز شنبه 27 شهریور در دانشگاه تهران برگزار می شود
http://yon.ir/537c
@philosophynews

شماره نخست نشریه الکترونیکی «کارنامه اندیشه»

نمودار وِن ادات‌های منطقی تابع ارزشی

The Developments of Logical Connectives Symboles from Frege to now
Denis Roegel (2002), Petit panorama des notations logiques du 20e siècle (see chart on page 2)

http://link.springer.com/journal/11225/104/5?wt_mc=alerts.TOCjournals
Studia Logica, Vol. 104, Issue 5 (October 2016):
List of Articles👇👇👇👇👇

"Semisimples in Varieties of Commutative Integral Bounded Residuated Lattices"
Antoni Torrens
—------------------------------
"Adaptive Logic Characterizations of Input/Output Logic"
Christian Straßer, Mathieu Beirlaen & Frederik Van De Putte
—------------------------------
"Gentzenization of Trilattice Logics"
Mitio Takano
—------------------------------
"A Preliminary Study of MV-Algebras with Two Quantifiers Which Commute"
Aldo Figallo Orellano
—------------------------------
"Intuitionistic Games: Determinacy, Completeness, and Normalization"
Paweł Urzyczyn
—------------------------------
"Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics"
Francesca Poggiolesi
—------------------------------
"Bi-Simulating in Bi-Intuitionistic Logic"
Guillermo Badia
—------------------------------
"The Lambek Calculus Extended with Intuitionistic Propositional Logic"
Michael Kaminski & Nissim Francez
—------------------------------

New Springer Book in Logic: (2016)
"Cultures of Mathematics and Logic"
Book Series: Trends in the History of Science
Editor/s: Ju, Shier; Löwe, Benedikt; Müller, Thomas; Xie, Yun

This book gathers the proceedings of the conference "Cultures of Mathematics and Logic," held in Guangzhou, China. The event was the third in a series of interdisciplinary, international conferences emphasizing the cultural components of philosophy of mathematics and logic. It brought together researchers from many disciplines whose work sheds new light on the diversity of mathematical and logical cultures and practices. In this context, the cultural diversity can be diachronical (different cultures in different historical periods), geographical (different cultures in different regions), or sociological in nature.
http://www.springer.com/gp/book/9783319315003?wt_mc=Alerts.NBA.Aug-16_EAST_24325987#otherversion=9783319315027

عنوان : سور Quantifier
نویسنده : سيد احمد ميرصانعي (1391)
كلمات كليدي : سور قضيه، سور كلي (سور عمومي)، سور جزئي (سور وجودي)، قضيه محصوره، سورهاي تو در تو، عالم سخن، سور مقيد، سور نامقيد، بسط سورها

متن کامل مقاله در لینک زیر:
http://www.pajoohe.com/fa/index.php?Page=definition&UID=46461

متن مقاله «سور (Quantifier)»

This is a national forum associated to Iranian Association for Logic (IAL). It is founded to connect the entire community of Iranian logicians inside the country and abroad together.

Invitation link:

https://telegram.me/joinchat/CHCYWj-iwl9AjSGUDR9L3w

«مغلطه؛ راهنمای درست اندیشیدن» نوشته جمی وایت با ترجمه مریم تقدیسی در ۱۷۶ صفحه با قیمت ۱۲ هزار تومان توسط انتشارات ققنوس روانه بازار نشر شد
http://yon.ir/3Jmq
@philosophynews