با سلام
دوستان ،الگوریتم رته که به فارسی تورینه هم گفته می شود به لاتین عنوان دیگری دارد؟ یا مثلا در منطق ریاضی کاربرد دارد؟ به چه عنوانی ؟مثلا گفته شده نمایش قانون به شکل شبکه ،آیا مربوط به منطق مرتبه اوله؟ من یک مثال دارم از جزوئ استاد کمال میرزایی که همه عبارات عطف هستند حالا اگه بین عبارت یا هم داشته باشیم ،شبکه رو چه طور رسم کنیم؟ این روش اگه اشتباه نکنم درباره تطبیق الگو هست در این صورت معنی عبارات عطفی و فصلی چیست؟ میشه لطفا یک تعریف کلی بفرمایید .اصلا قضیه چیه؟ با تشکر