Logic in Computer Science and Engineering 40222 
  CE Department- Sharif University of Technology Spring 98-99 - Group 1 

  Main Menu
   Home
   Syllabus
   Assignments
   Grades
   Calendar
   Discussion Area
   Links
   Resources


Announcments

  1398-12-13 March 03, 2020 04:48 PM  
اسلایدهای مربوط به مبحث مدل چکینگ آپلود شد.

  1398-12-13 March 03, 2020 04:41 PM  
با توجه به این که در ایام تعطیلی کرونا می خواهیم کلاس را الکترونیکی ادامه دهیم  مبحث سوم یعنی موضوع مدل چکینگ را تدریس خواهیم کرد. ایشالا مباحث اول شامل منطق گزاره ها و محمولات را در کلاسهای حضوری آتی دنبال خواهیم نمود

  1398-12-13 March 03, 2020 04:39 PM  
برای هصل سوم درس که موضوع مدل چکینگ است فصول 2 و 5 و 6 کتاب بایر و کیتون مرجع اصلی خواهند بود. البته فصل سوم کتاب هوت و ریان هم در همین موضوع مرجع کمکی است

  1398-12-13 March 03, 2020 04:39 PM  
فصول اول و دوم درس شامل منطق گزاره ها و منطق محمولات از کتاب هوت و  ریان تدریس خواهد شد

  1398-12-13 March 03, 2020 04:38 PM  
مراجع اصلی درس در بخش منابع بارگزاری شد.

Instructor:
Mohammad Izadi
(izadi@sharif.edu)

3 Units
Sunday - Tuesday, 9-10:30
Room: 725
















 This website is visited 1271 times since March 2020. Updated Monday 2020-09-07 10:04