Mathematical Logic

Introduction to Logic

Order: Reorder
Duration: 18:55
Updated: 18 Aug 2013

Definitions and examples. Truth tables. Equivalent statements. For more free math videos, visit: http://www.professorserna.com.

http://wn.com/Introduction_to_Logic

Introduction to Higher Mathematics - Lecture 6: Predicate Logic

Order: Reorder
Duration: 25:01
Updated: 17 Aug 2013

Now we're going to "upgrade" our logic to predicate logic, which lets us have a good bit more flexibility in how we describe various situations, including th...

http://wn.com/Introduction_to_Higher_Mathematics_Lecture_6_Predicate_Logic

Lecture 1 - Propositional Logic

Order: Reorder
Duration: 56:47
Updated: 18 Aug 2013

Discrete Mathematical Structures.

http://wn.com/Lecture_1_Propositional_Logic

28/42 Kurt Gödel: Modern Dev. of the Foundations Of Mathematics In Light Of Philosophy (w/music)

Order: Reorder
Duration: 25:22
Updated: 19 Aug 2013

A great Book on Kurt Gödel: http://www.amazon.com/dp/0262730871?tag=gargecsguitot-20&camp;=14573&creative;=327641&linkCode;=as1&creativeASIN;=0262730871&adid;=17R...

http://wn.com/28_42_Kurt_Gödel_Modern_Dev_of_the_Foundations_Of_Mathematics_In_Light_Of_Philosophy_w_music

Simple Mathematical Logic Explain NWO

Order: Reorder
Duration: 73:54
Updated: 02 Dec 2013

http://wn.com/Simple_Mathematical_Logic_Explain_NWO

A Maths Puzzle: Logic

Order: Reorder
Duration: 3:56
Updated: 15 Aug 2013

A logic puzzle for you. For more information about this problem see http://www.textsavvyblog.net/2007/05/wason-selection-task-part-i.html The recent study me...

http://wn.com/A_Maths_Puzzle_Logic

Introduction to Higher Mathematics - Lecture 3: Propositional Logic

Order: Reorder
Duration: 25:52
Updated: 19 Aug 2013

It's time to delve into the language of propositional logic, which turns the way we think and reason into mathematical notation. http://www.polymathlectures....

http://wn.com/Introduction_to_Higher_Mathematics_Lecture_3_Propositional_Logic

Mathematical logic

Order: Reorder
Duration: 42:19
Updated: 19 Nov 2013

Please Subscribe our goal is 100 subscriber for this month :) Please give us a THUMBS UP if you like our videos!!! Source:http://en.wikipedia.org/wiki/Mathematical_logic Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics. Topically, mathematical logic bears close connections to metamathematics, the foundations of mathematics, and theoretical computer science. The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems.Mathematical logic is often divided into the fields of set theory, model theory, recursion theory, and proof theory. These areas share basic results on logic, particularly first-order logic, and definability. In computer science (particularly in the ACM Classification) mathematical logic encompasses additional topics not detailed in this article; see logic in computer science for those.

http://wn.com/Mathematical_logic

Mathematical Logic Example 1.006 GATE CS 2003 (resolution principle)

Order: Reorder
Duration: 11:12
Updated: 20 Jul 2013

Mathematical Logic problem asked in GATE CS 2003 (resolution principle)

http://wn.com/Mathematical_Logic_Example_1006_GATE_CS_2003_resolution_principle

LOGIC, pt 1: mathematical induction

Order: Reorder
Duration: 13:40
Updated: 10 Aug 2013

Part of a full course in mathematical logic, from beginner to Godel's incompleteness theorems. While the course is aimed largely at philosophers and others w...

http://wn.com/LOGIC,_pt_1_mathematical_induction

Logical Mathematical Intelligence

Order: Reorder
Duration: 2:55
Updated: 24 Jul 2013

In which Max describes one of the most logical intelligences there is. Sources: http://www.infed.org/thinkers/gardner.htm, http://en.wikipedia.org/wiki/Theor...

http://wn.com/Logical_Mathematical_Intelligence

Mathematical Logic Example 1.008 GATE CS 2012 (English to Mathematical Logic)

Order: Reorder
Duration: 2:37
Updated: 20 Jul 2013

Mathematical Logic problem asked in GATE CS 2012 (English to Mathematical Logic)

http://wn.com/Mathematical_Logic_Example_1008_GATE_CS_2012_English_to_Mathematical_Logic

How-To Understand Mathematical Logic

Order: Reorder
Duration: 1:25
Updated: 17 Jan 2014

Thanks for Watching. Like and Subscribe!

http://wn.com/How-To_Understand_Mathematical_Logic

Mathematical Logic Example 1.001 GATE CS 2007 (Graph Theory and Logic)

Order: Reorder
Duration: 6:48
Updated: 23 Jul 2013

Mathematical Logic problem asked in GATE CS 2007 (Graph Theory and Logic)

http://wn.com/Mathematical_Logic_Example_1001_GATE_CS_2007_Graph_Theory_and_Logic

Mathematical Logic Example 1.003 GATE CS 2004 (English to Logic)

Order: Reorder
Duration: 3:39
Updated: 01 Jun 2013

Mathematical Logic problem asked in GATE CS 2004 (English to Logic)

http://wn.com/Mathematical_Logic_Example_1003_GATE_CS_2004_English_to_Logic

Mathematical logic in Java

Order: Reorder
Duration: 5:22
Updated: 13 Apr 2013

This film shows the program for the mathematical logic using logical type to the functions, importing this class Scanner from java.util pakage and switch ins...

http://wn.com/Mathematical_logic_in_Java

Mathematical Logic Example 1.009 GATE CS 2011 (predicate for prime number)

Order: Reorder
Duration: 9:51
Updated: 20 Jul 2013

Mathematical Logic problem asked in GATE CS 2011 (predicate for prime number)

http://wn.com/Mathematical_Logic_Example_1009_GATE_CS_2011_predicate_for_prime_number

Math Fractions & Equations : How to Solve Logic Problems

Order: Reorder
Duration: 2:15
Updated: 11 Jun 2013

Logic problems in math refer to problems that have a hypothesis and a conclusion. Learn about conditional statements and logic statements with help from a ma...

http://wn.com/Math_Fractions_Equations_How_to_Solve_Logic_Problems

Mathematical Logic Example 1.007 GATE CS 2013 (Logical Equivalence)

Order: Reorder
Duration: 10:56
Updated: 20 Jul 2013

Mathematical Logic problem asked in GATE CS 2013 (Logical Equivalence)

http://wn.com/Mathematical_Logic_Example_1007_GATE_CS_2013_Logical_Equivalence

Lecture on Mathematical Logic by S M Srivastava_1

Order: Reorder
Duration: 29:51
Updated: 24 Jun 2013

http://wn.com/Lecture_on_Mathematical_Logic_by_S_M_Srivastava_1

Mathematical Logic Example 1.010 GATE CS 2010 (predicate universal and existential quantification)

Order: Reorder
Duration: 4:35
Updated: 20 Jul 2013

Mathematical Logic problem asked in GATE CS 2010 (predicate universal and existential quantification)

http://wn.com/Mathematical_Logic_Example_1010_GATE_CS_2010_predicate_universal_and_existential_quantification

Kant's Logic and Implications for Mathematics

Order: Reorder
Duration: 67:42
Updated: 01 Aug 2013

Michiel van Lambalgen (Amsterdam) and Dora Achourioti (Amsterdam) give a talk at the MCMP Colloquium (9 Nov, 2011) titled "The completeness of Kant's Table o...

http://wn.com/Kant's_Logic_and_Implications_for_Mathematics

Mathematical Logic Example 1.002 GATE CS 2005 (FInd the tautology)

Order: Reorder
Duration: 5:56
Updated: 20 Jul 2013

Mathematical Logic problem asked in GATE CS 2005 (FInd the tautology)

http://wn.com/Mathematical_Logic_Example_1002_GATE_CS_2005_FInd_the_tautology

Branches of Mathematics

Pure mathematics

Applied mathematics