Logic1 002 | AA0902F96DA833CC7F4EC70859A529276F5032D9

Logic1 002

Name	logic1-002	DOWNLOAD Copy Link
Total Size	861.9 MB
Total Files	203
Last Seen	2024-10-07 23:31
Hash	AA0902F96DA833CC7F4EC70859A529276F5032D9

/01_0-_Preliminaries/
01_Welcome_8-47.mp4	19.2 MB
01_Welcome_8-47.pdf	352.7 KB
01_Welcome_8-47.srt	13.1 KB
01_Welcome_8-47.txt	8.1 KB
/02_1-_Language_and_Models_of_Propositional_Logic_Core/
01_1.1.1_Propositions_5-17.mp4	7.7 MB
01_1.1.1_Propositions_5-17.pdf	446.5 KB
01_1.1.1_Propositions_5-17.srt	7.1 KB
01_1.1.1_Propositions_5-17.txt	4.3 KB
02_1.1.2_Connectives_19-44.mp4	32.6 MB
02_1.1.2_Connectives_19-44.pdf	638.5 KB
02_1.1.2_Connectives_19-44.srt	28.9 KB
02_1.1.2_Connectives_19-44.txt	17.6 KB
03_1.1.3_Propositional_Formulas_9-23.mp4	10.7 MB
03_1.1.3_Propositional_Formulas_9-23.pdf	444.3 KB
03_1.1.3_Propositional_Formulas_9-23.srt	12.7 KB
03_1.1.3_Propositional_Formulas_9-23.txt	7.9 KB
04_1.1.4_Formalisation_7-00.mp4	17.3 MB
04_1.1.4_Formalisation_7-00.pdf	432.3 KB
04_1.1.4_Formalisation_7-00.srt	9.5 KB
04_1.1.4_Formalisation_7-00.txt	5.8 KB
05_1.1.5_Expressive_power_8-40.mp4	21.1 MB
05_1.1.5_Expressive_power_8-40.pdf	525.8 KB
05_1.1.5_Expressive_power_8-40.srt	11.7 KB
05_1.1.5_Expressive_power_8-40.txt	7.2 KB
06_1.2.1_Setting_Up_Truth_Tables_6-35.mp4	19.6 MB
06_1.2.1_Setting_Up_Truth_Tables_6-35.pdf	420.0 KB
06_1.2.1_Setting_Up_Truth_Tables_6-35.srt	7.9 KB
06_1.2.1_Setting_Up_Truth_Tables_6-35.txt	5.0 KB
07_1.2.2_Negation_Conjunction_and_Disjunction_10-37.mp4	24.3 MB
07_1.2.2_Negation_Conjunction_and_Disjunction_10-37.pdf	449.1 KB
07_1.2.2_Negation_Conjunction_and_Disjunction_10-37.srt	12.5 KB
07_1.2.2_Negation_Conjunction_and_Disjunction_10-37.txt	7.7 KB
08_1.2.3_The_Material_Conditional__Biconditional_11-50.mp4	37.4 MB
08_1.2.3_The_Material_Conditional__Biconditional_11-50.pdf	420.8 KB
08_1.2.3_The_Material_Conditional__Biconditional_11-50.srt	13.2 KB
08_1.2.3_The_Material_Conditional__Biconditional_11-50.txt	8.2 KB
09_1.3.1_Classifying_Propositions_11-18.mp4	23.0 MB
09_1.3.1_Classifying_Propositions_11-18.pdf	498.7 KB
09_1.3.1_Classifying_Propositions_11-18.srt	12.8 KB
09_1.3.1_Classifying_Propositions_11-18.txt	8.1 KB
10_1.3.2_Relationships_Between_Propositions_14-26.mp4	29.5 MB
10_1.3.2_Relationships_Between_Propositions_14-26.pdf	426.0 KB
10_1.3.2_Relationships_Between_Propositions_14-26.srt	16.6 KB
10_1.3.2_Relationships_Between_Propositions_14-26.txt	10.2 KB
/03_2-_Proofs_for_Propositional_Logic_Core/
01_2.1.1_Validity_of_Arguments_9-38.mp4	13.2 MB
01_2.1.1_Validity_of_Arguments_9-38.pdf	421.5 KB
01_2.1.1_Validity_of_Arguments_9-38.srt	10.9 KB
01_2.1.1_Validity_of_Arguments_9-38.txt	6.8 KB
02_2.1.2_Argument_Forms_Instances_and_Soundness_16-42.mp4	29.2 MB
02_2.1.2_Argument_Forms_Instances_and_Soundness_16-42.pdf	428.3 KB
02_2.1.2_Argument_Forms_Instances_and_Soundness_16-42.srt	19.5 KB
02_2.1.2_Argument_Forms_Instances_and_Soundness_16-42.txt	12.1 KB
03_2.2.1_Why_We_Need_Proof_Trees_15-12.mp4	36.7 MB
03_2.2.1_Why_We_Need_Proof_Trees_15-12.pdf	521.4 KB
03_2.2.1_Why_We_Need_Proof_Trees_15-12.srt	21.5 KB
03_2.2.1_Why_We_Need_Proof_Trees_15-12.txt	13.3 KB
04_2.2.2_Rules_for_Proof_Trees_for_Propositional_Logic_9-07.mp4	23.2 MB
04_2.2.2_Rules_for_Proof_Trees_for_Propositional_Logic_9-07.pdf	452.8 KB
04_2.2.2_Rules_for_Proof_Trees_for_Propositional_Logic_9-07.srt	13.5 KB
04_2.2.2_Rules_for_Proof_Trees_for_Propositional_Logic_9-07.txt	8.2 KB
05_2.2.3_Example_Proof_Trees_for_Propositional_Logic_14-35.mp4	27.9 MB
05_2.2.3_Example_Proof_Trees_for_Propositional_Logic_14-35.pdf	539.2 KB
05_2.2.3_Example_Proof_Trees_for_Propositional_Logic_14-35.srt	26.9 KB
05_2.2.3_Example_Proof_Trees_for_Propositional_Logic_14-35.txt	16.2 KB
06_2.2.4_Why_Trees_and_Truth_Tables_Agree_14-02.mp4	30.8 MB
06_2.2.4_Why_Trees_and_Truth_Tables_Agree_14-02.pdf	412.2 KB
06_2.2.4_Why_Trees_and_Truth_Tables_Agree_14-02.srt	19.3 KB
06_2.2.4_Why_Trees_and_Truth_Tables_Agree_14-02.txt	12.1 KB
/04_3-_Combinational_Digital_Systems_Application-_Engineering/
01_3.1_Digital_Signals__Systems_17-55.mp4	28.5 MB
01_3.1_Digital_Signals__Systems_17-55.pdf	15.4 MB
01_3.1_Digital_Signals__Systems_17-55.srt	22.3 KB
01_3.1_Digital_Signals__Systems_17-55.txt	13.6 KB
02_3.2_Logic_Gates__Logic_Circuits_13-23.mp4	18.0 MB
02_3.2_Logic_Gates__Logic_Circuits_13-23.pdf	5.1 MB
02_3.2_Logic_Gates__Logic_Circuits_13-23.srt	15.8 KB
02_3.2_Logic_Gates__Logic_Circuits_13-23.txt	9.7 KB
03_3.3_Truth_Tables_Logic_Formulas__Logic_Circuits_28-54.mp4	35.1 MB
03_3.3_Truth_Tables_Logic_Formulas__Logic_Circuits_28-54.pdf	692.0 KB
03_3.3_Truth_Tables_Logic_Formulas__Logic_Circuits_28-54.srt	32.9 KB
03_3.3_Truth_Tables_Logic_Formulas__Logic_Circuits_28-54.txt	20.2 KB
04_3.4_Minimizing_Logic_Circuits_Using_K-Maps_26-40.mp4	46.0 MB
04_3.4_Minimizing_Logic_Circuits_Using_K-Maps_26-40.pdf	977.2 KB
04_3.4_Minimizing_Logic_Circuits_Using_K-Maps_26-40.srt	29.5 KB
04_3.4_Minimizing_Logic_Circuits_Using_K-Maps_26-40.txt	18.2 KB
/05_4-_Vagueness_Application-_Philosophy/
01_4.1_Vagueness-_The_Sorites_Paradox_7-44.mp4	11.9 MB
01_4.1_Vagueness-_The_Sorites_Paradox_7-44.pdf	2.8 MB
01_4.1_Vagueness-_The_Sorites_Paradox_7-44.srt	10.8 KB
01_4.1_Vagueness-_The_Sorites_Paradox_7-44.txt	6.8 KB
02_4.2_Vagueness-_One_Option-Revising_Our_Logic_17-08.mp4	18.0 MB
02_4.2_Vagueness-_One_Option-Revising_Our_Logic_17-08.pdf	555.7 KB
02_4.2_Vagueness-_One_Option-Revising_Our_Logic_17-08.srt	24.9 KB
02_4.2_Vagueness-_One_Option-Revising_Our_Logic_17-08.txt	15.1 KB
03_4.3_Vagueness-_Another_Option-Resist_the_Premises_14-47.mp4	13.6 MB
03_4.3_Vagueness-_Another_Option-Resist_the_Premises_14-47.pdf	570.2 KB
03_4.3_Vagueness-_Another_Option-Resist_the_Premises_14-47.srt	22.4 KB
03_4.3_Vagueness-_Another_Option-Resist_the_Premises_14-47.txt	13.7 KB
/06_5-_Implicature_and_Implication_Application-_Linguistics/
01_5.1_Linguistics-_Introducing_Language_and_Logic_7-52.mp4	9.9 MB
01_5.1_Linguistics-_Introducing_Language_and_Logic_7-52.pdf	6.6 MB
01_5.1_Linguistics-_Introducing_Language_and_Logic_7-52.srt	11.7 KB
01_5.1_Linguistics-_Introducing_Language_and_Logic_7-52.txt	7.3 KB
02_5.2_Linguistics-_Entailment__Implicature_14-02.mp4	16.3 MB
02_5.2_Linguistics-_Entailment__Implicature_14-02.pdf	11.8 MB
02_5.2_Linguistics-_Entailment__Implicature_14-02.srt	21.4 KB
02_5.2_Linguistics-_Entailment__Implicature_14-02.txt	12.8 KB
03_5.3_Linguistics-_Implicatures__Connectives_10-19.mp4	10.9 MB
03_5.3_Linguistics-_Implicatures__Connectives_10-19.pdf	460.3 KB
03_5.3_Linguistics-_Implicatures__Connectives_10-19.srt	16.0 KB
03_5.3_Linguistics-_Implicatures__Connectives_10-19.txt	9.8 KB
/07_6-_Propositional_Logic_Programming_Application-_Computer_Science/
01_6.1_Logic_Computers__Automated_Reasoning_12-47.mp4	27.3 MB
01_6.1_Logic_Computers__Automated_Reasoning_12-47.pdf	753.4 KB
01_6.1_Logic_Computers__Automated_Reasoning_12-47.srt	16.7 KB
01_6.1_Logic_Computers__Automated_Reasoning_12-47.txt	10.4 KB
02_6.2_Logic_Programming_in_PROLOG_13-00.mp4	28.6 MB
02_6.2_Logic_Programming_in_PROLOG_13-00.pdf	3.1 MB
02_6.2_Logic_Programming_in_PROLOG_13-00.srt	16.5 KB
02_6.2_Logic_Programming_in_PROLOG_13-00.txt	10.1 KB
03_6.3_PROLOG_Project-_Sudoku_Puzzles_15-52.mp4	31.4 MB
03_6.3_PROLOG_Project-_Sudoku_Puzzles_15-52.pdf	620.8 KB
03_6.3_PROLOG_Project-_Sudoku_Puzzles_15-52.srt	17.9 KB
03_6.3_PROLOG_Project-_Sudoku_Puzzles_15-52.txt	10.8 KB
04_6.4_How_PROLOG_Answers_Queries_17-08.mp4	34.9 MB
04_6.4_How_PROLOG_Answers_Queries_17-08.pdf	515.4 KB
04_6.4_How_PROLOG_Answers_Queries_17-08.srt	18.3 KB
04_6.4_How_PROLOG_Answers_Queries_17-08.txt	11.2 KB
05_6.5_Negation_in_PROLOG_6-55.mp4	14.2 MB
05_6.5_Negation_in_PROLOG_6-55.pdf	449.1 KB
05_6.5_Negation_in_PROLOG_6-55.srt	6.9 KB
05_6.5_Negation_in_PROLOG_6-55.txt	4.2 KB
/Aboutus/
Aboutus.html	41.5 KB
links.txt	1.7 KB
/Announcements/
Announcements.html	76.1 KB
links.txt	3.5 KB
/CourseNotes/
CourseNotes.html	41.4 KB
links.txt	1.7 KB
logic1%252Fnotes%252Flogic1notes.pdf	24.6 MB
logic1%2Fnotes%2Flogic1notes.pdf	24.6 MB
zip_page.html	41.4 KB
/DiscussionForums/
DiscussionForums.html	66.1 KB
links.txt	8.0 KB
/PeerAssessments/
PeerAssessments.html	50.2 KB
links.txt	2.1 KB
logic1%252Fassessment%252FLLI%20Peer%20Grading%20Rubric.pdf	90.8 KB
logic1%2Fassessment%2FLLI%20Peer%20Grading%20Rubric.pdf	90.8 KB
zip_page.html	50.2 KB
/PrivacyPolicy/
PrivacyPolicy.html	56.2 KB
links.txt	1.6 KB
/QuickQuestions15/
QuickQuestions15.html	59.0 KB
links.txt	1.5 KB
/
Quizzes - Practice and Graded.html	119.3 KB
Surveys.html	48.5 KB
assignment_home.html	34.9 KB
course_home.html	74.9 KB
entered_login.html	1.4 MB
logic1-002-about.json	6.2 KB
/.../0_Graded_Quiz_1a_The_Propositional_Language_10_marks/
0_Graded_Quiz_1a_The_Propositional_Language_10_marks.html	172.9 KB
links.txt	1.6 KB
/.../10_Practice_Quiz_2a_Using_Truth_Tables_to_Check_for_Logical_Relations_and_Validity_5_marks/
10_Practice_Quiz_2a_Using_Truth_Tables_to_Check_for_Logical_Relations_and_Validity_5_marks.html	80.8 KB
links.txt	1.6 KB
/.../11_Practice_Quiz_2b_Trees_for_Propositional_Logic_15_marks/
11_Practice_Quiz_2b_Trees_for_Propositional_Logic_15_marks.html	218.9 KB
links.txt	1.6 KB
/.../12_Practice_Quiz_3_Combinational_Digital_Systems/
12_Practice_Quiz_3_Combinational_Digital_Systems.html	194.5 KB
links.txt	1.8 KB
/.../13_Practice_Quiz_4_Vagueness/
13_Practice_Quiz_4_Vagueness.html	142.7 KB
links.txt	1.6 KB
/.../14_Practice_Quiz_5_Implication_and_Implicature/
14_Practice_Quiz_5_Implication_and_Implicature.html	50.5 KB
links.txt	1.6 KB
/.../15_Practice_Quiz_6_Propositional_Logic_Programming/
15_Practice_Quiz_6_Propositional_Logic_Programming.html	132.6 KB
links.txt	1.6 KB
/.../1_Graded_Quiz_1b_Models_of_Propositional_Logic_10_marks/
1_Graded_Quiz_1b_Models_of_Propositional_Logic_10_marks.html	84.0 KB
links.txt	1.6 KB
/.../2_Graded_Quiz_2a_Using_Truth_Tables_to_Check_for_Logical_Relations_and_Validity_5_marks/
2_Graded_Quiz_2a_Using_Truth_Tables_to_Check_for_Logical_Relations_and_Validity_5_marks.html	83.4 KB
links.txt	1.6 KB
/.../3_Graded_Quiz_2b_Trees_for_Propositional_Logic_15_marks/
3_Graded_Quiz_2b_Trees_for_Propositional_Logic_15_marks.html	224.4 KB
links.txt	1.6 KB
/.../4_Graded_Quiz_3_Combinational_Digital_Systems/
4_Graded_Quiz_3_Combinational_Digital_Systems.html	181.8 KB
Question1-worksheet.pdf	17.7 KB
Question5-worksheet.pdf	62.9 KB
links.txt	1.8 KB
zip_page.html	181.8 KB
/.../5_Graded_Quiz_4_Vagueness_10_marks/
5_Graded_Quiz_4_Vagueness_10_marks.html	180.6 KB
links.txt	1.6 KB
/.../6_Graded_Quiz_5_Implication_and_Implicature_10_marks/
6_Graded_Quiz_5_Implication_and_Implicature_10_marks.html	54.1 KB
links.txt	1.6 KB
/.../7_Graded_Quiz_6_Propositional_Logic_Programming_20_marks/
7_Graded_Quiz_6_Propositional_Logic_Programming_20_marks.html	136.1 KB
links.txt	1.6 KB
/.../8_Practice_Quiz_1a_The_Propositional_Language_10_marks/
8_Practice_Quiz_1a_The_Propositional_Language_10_marks.html	197.4 KB
links.txt	1.6 KB
/.../9_Practice_Quiz_1b_Models_of_Propositional_Logic_10_marks/
9_Practice_Quiz_1b_Models_of_Propositional_Logic_10_marks.html	89.5 KB
links.txt	1.6 KB
/Sectionstudyguides/
Sectionstudyguides.html	41.6 KB
links.txt	2.1 KB
/Socialmedia/
Socialmedia.html	42.0 KB
links.txt	2.0 KB
/.../0_Pre_Course_Survey/
0_Pre_Course_Survey.html	78.7 KB
links.txt	1.6 KB
/Surveys/1_MidCourse_Survey/
1_MidCourse_Survey.html	50.0 KB
links.txt	1.6 KB
/.../2_Exit_Survey_Please_complete_this_survey_only_if_you_leave_the_course_before_the_end_of_the_session/
2_Exit_Survey_Please_complete_this_survey_only_if_you_leave_the_course_before_the_end_of_the_session.html	48.6 KB
links.txt	1.6 KB
/Surveys/3_Postcourse_Survey/
3_Postcourse_Survey.html	83.5 KB
links.txt	1.6 KB
/Syllabus/
Syllabus.html	45.8 KB
links.txt	1.6 KB
Total files 203