Date  Materials  
10/11  Columbus Day, College is closed, no classes  
10/06  Test 1 more information can be found it Tests and Final Exam (including review questions with solutions) 

10/04  Review of Chapter 1 Today we will do Sample Test 1, and I can answer any questions you have about review problems set I distributed beforehand. Sample Test 1: CSI30Chapter1TestSample.pdf Sample Test 1 with solutions: CSI30Chapter1TestSample_sols.pdf Cheat sheet for Chapter 1: Chapter1cheatsheet.pdf 

09/29  topics: 1.13 Rules of inference with quantifiers Logic and bit Operations System specifications lecture slides:CSI30zyBooksSections1_13_more_slides.pdf  HW 7: due Wednesday, October 13^{th}  1) All participation and challenge activities of Section 1.13 at zybooks.com, 2) do additional exercises № (the solutions are provided) in Section 1.13 / 1.13.1 (a, c, d), 1.13.2 (a,b), 1.13.3 (a), 1.13.4 (a, d), 3) do additional exercises № (the solutions are not provided) in Section 1.13 / 1.13.1 (b, e), 1.13.3 (b), 1.13.4 (b, c), 4) more will be posted 

Few important announcements: 1) our Midterm Exam is planned for Wednesday, October 6th. Start preparing to it right now! Look through the chapter review questions first. We will go over Sample Test 1 in class (visit Tests and Final Exam page). 2) If you are missing the class or forgot to bring your homework to the class to submit it, you must send it to me electronically (take pictures or scan it) by midnight of the due date. There are no late homeworks acceptance. 

09/27  topics: 1.11 Logical reasoning 1.12 Rules of inference with propositions lecture slides: CSI30zyBooksSections1_111_12slides.pdf  HW 6: due Monday, October 4^{th}  1) All participation and challenge activities of Sections 1.11 and 1.12 at zybooks.com, 2) do additional exercises № (the solutions are provided) in Section 1.11 / 1.11.1 (a, c, e), 1.11.2 (a,b) 3) do additional exercises № (the solutions are provided) in Section 1.12 / 1.12.1 (ad), 1.12.2 (b, d), 1.12.3 (a, c), 4) do additional exercises № (the solutions are not provided) in Section 1.11 / 1.11.1 (b, d, f), 1.11.2 (c), 5) additional exercises№ (the solutions are not provided) in Section 1.12 / 1.12.1 (e, f), 1.12.2 (a, c), 1.12.3 (b) 

09/22  topics: 1.9 Nested quantifiers 1.10 More nested quantifiers lecture slides: CSI30zyBooksSections1_91_10slides.pdf Extra practice (selfwork): Sections 1.9 and 1.10Practice with solutions Selfdevelopment: we don't cover Smullyan's puzzles in class, but if you have time, please look at these materials: Puzzles by Smullyan , Puzzles by Smullyan (Practice) Comments from class: 1) I didn't finish the HW3 yes, so I will give it back on Monday 2) I will no longer have Wednesday inperson office hours, 2 pm  3pm. I will still have the inperson office hour on Mondays, 2pm  3pm at CP 312 and online office hours on Tuesdays, 4 pm  6pm (you must use office hours zoom meeting link at Blackboard) to join it 3) You can see all your grades and scores in the Google Spreadsheet.  HW 5: due Wednesday, September 29^{th}  1) All participation and challenge activities of Sections 1.9 and 1.10 at zybooks.com, 2) do additional exercises № (the solutions are provided) in Section 1.9 / 1.9.1 (b, d, f, g), 1.9.2 (af), 1.9.3 (a, ce, g, ik), 1.9.4 (a, c, e), 1.9.5 (ad), 3) do additional exercises № (the solutions are provided) in Section 1.10 / all of them 4) do additional exercises № (the solutions are not provided) in Section 1.9 / 1.9.1 (a, c, e), 1.9.2 (gi), 1.9.3 (b, f, h), 1.9.4 (b, d). 

09/20  topics: 1.6 Predicates and quantifiers 1.7 Quantified statements 1.8 De Morgan's law for quantified statements lecture slides: CSI30zyBooksSections1_61_8slides.pdf practice: CSI30zyBooksSections1_61_8Pratice.pdf, CSI30zyBooksSections1_61_8Pratice_sols.pdf Very interesting article: WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT? http://www.math.uconn.edu/~hurley/math315/proofgoldberger.pdf  HW 4: due Monday, September 27^{th}  1) All participation and challenge activities of Sections 1.6 and 1.7 at zybooks.com, 2) do additional exercises № (the solutions are provided) in Section 1.6 / 1.6.1 (ad, h), 1.6.2 (a, c, e), 1.6.3 (ab), 1.6.4 (ac), 3) do additional exercises № (the solutions are provided) in Section 1.7 / 1.7.1 (ac), 1.7.2 (a, c, e), 1.7.3 (a, b), 1.7.4 (af, j, k), 1.7.5 (a, ce), 1.7.6 (a, c, d, f, h), 4) do additional exercises № (the solutions are provided) in Section 1.8 / 1.8.1 (ac), 1.8.2 (a, b, d), 1.8.3 (a, b), 1.8.4 (a, c) 5) do additional exercises № (the solutions are not provided) in Section 1.6 / 1.6.1 (eg), 1.6.2 (b, d, f), 1.6.3 (cd), 1.6.4 (df), 6) do additional exercises № (the solutions are not provided) in Section 1.7 / 1.7.1 (de), 1.7.2 (b, d), 1.7.3 (c, d), 1.7.4 (gi), 1.7.5 (b, f), 1.7.6 (b, e, g) additional exercises № (the solutions are not provided) in Section 1.8 / 1.8.1 (d), 1.8.2 (b), 1.8.3 (c, d), 1.8.4 (b). 

09/15  09/16 
no classes scheduled 

09/13  Section 1.4 Logical Equivalences, Section 1.5 Laws of Propositional Logic lecture slides: CSI30zyBooksSections1_41_5slides.pdf pratice: CSI30zyBooksSections1_41_5Practice.pdf, CSI30zyBooksSections1_41_5Practice_sols.pdf You will be able to see all your grades and scores in the Google Spreadsheet. You can find your record there by finding the last 4 digits of your school id in the leftmost column.  HW 3: due Monday, September 20^{th}  1) All participation and challenge activities of Sections 1.4 and 1.5 at zybooks.com, 2) do additional exercises № (the solutions are provided) in Section 1.4 / 1.4.1 (ac), 1.4.2 (ac), 1.4.3 (ab), 1.4.4 (ac), 1.4.5 (ab), 3) do additional exercises № (the solutions are provided) in Section 1.5 / 1.5.1 (ab), 1.5.2 (ad), 1.5.3 (ab), 5) do additional exercises № (the solutions are not provided) in Section 1.4 / 1.4.1 (df), 1.4.2 (d), 1.4.3 (cd), 1.4.4 (d), 6) do additional exercises № (the solutions are not provided) in Section 1.5 / 1.5.1 (c), 1.5.2 (eh), 1.5.3 (c) CSI 30 tutoring support: 1) Virtual Support Schedule (online): Monday 12 pm10 pm Wednesday 1 pm  5 pm, Thursday 3 pm  5 pm Friday & Saturday 3 pm  6 pm Sunday 12 pm  6 pm For virtual support, students may visit our BCC Tutoring Tab (located at the upperright) via Blackboard to access support service 2) InPerson Support: Appointments are required Please see details here: http://www.bcc.cuny.edu/academics/learningcommons/ Wednesday 3 pm  6 pm Friday 12 pm  6 pm 

09/03  09/08  No classes scheduled  
09/01  Today we walked through the practice problems for sections 1.1  1.3
and didn't have time to start covering further sections. I collected the homeworks. If you didn't bring to the classroom, take a picture of it and send it to me ASAP! No later than Friday morning! Next week we won't have any meetings, but don't forget to work on HW 2 posted at the Blackboard! 

08/30 
Please note that we will not have facetoface meeting today since I've got cold and cannot talk without extensive coughing. I will ask you to do selfstudy today: visit zyBooks, read two sections Section 1.2 and Section 1.3, do all participation and challenge activities there, work on the additional exercises that you can see solutions to. I will be assuming that by our Wednesday meeting you will complete this selfstudy assignment. At our Wednesday meeting I will go over practice problems for Sections 1.1  1.3 (you can find the files below) and we will move on. Don't forget to bring the HW1 (item 3) from the assignment) on Wednesday. And you can start working on HW 2 at the Blackboard. topics: we will finish the slides from previous class meeting (staring from slide 36), the we will do Section 1.2 Compound Propositions Section 1.3 Conditional Statements lecture slides: CSI30zyBooksSections1_21_3slides.pdf practice: CSI30zyBooksSections1_21_3Practice.pdf Extra Practice (work on your own): CSI30zyBooksSections1_21_3ExtraPractice.pdf  HW 2: due Friday, September 3^{rd}  1) All participation and challenge activities in Sections 1.2 and 1.3 at zybooks.com, 2) view additional exercises in Section 1.2 (the solutions are provided) № 1.2.1 (ac), 1.2.2 (a, c, e), 1.2.3 (a,c,e), 1.2.4 (a,b), 1.2.5 (ac), 1.2.6 3) view additional exercises in Section 1.3 (the solutions are provided) № 1.3.1 (a,c), 1.3.2(b), 1.3.3 (af), 1.3.4 (a, c, e), 1.3.5 (all) 4) do HW 2 posted at Blackboard from HW 1: don't forget to submit (in class, in person) on Wednesday, September 1^{st}: additional exercises of Section 1.1 (the solutions are not provided) № 1.1.1 (fj), 1.1.2 (df), 1.1.3 (ac), 1.1.4 (d, e) 

08/25 
Welcome to CSI 30! I did not distribute the syllabus, you can find it at the Home page. I talked about the overall structure of the class, and we almost completely covered Section 1.1 Propositions and logical operations Lecture slides: Section 1.1  we stopped at slide 36! Practice: Section 1.1 practice  we didn't do the practice problems what you should do by our next meeting: 1) subscribe to the book or get a temporary free subscription (two weeks) 2) HW 1  HW 1: due Monday, August 30^{th}  1) All participation and challenge activities of Section 1.1 at zybooks.com,  due Monday, August 30th (end of the day) it is HW 01 at zyBooks 2) view additional exercises of Section 1.1 (the solutions are provided) № 1.1.1 (a  e), 1.1.2 (ac), 1.1.3 (ac), 1.1.4 (ac)  the due date is extended to Wednesday, September 1st! (you don't submit these exercises to me  they are solely for practice purposes) 3) do additional exercises of Section 1.1 (the solutions are not provided) № 1.1.1 (fj), 1.1.2 (df), 1.1.3 (ac), 1.1.4 (d, e) these exercises you are to submit to me on paper, by the end of next class meeting  the due date is extended to Wednesday, September 1st! 