Mathematical logic | Set theory

Class logic

Class logic is a logic in its broad sense, whose objects are called classes. In a narrower sense, one speaks of a class logic only if classes are described by a property of their elements. This class logic is thus a generalization of set theory, which allows only a limited consideration of classes. (Wikipedia).

Video thumbnail

Logic: The Structure of Reason

As a tool for characterizing rational thought, logic cuts across many philosophical disciplines and lies at the core of mathematics and computer science. Drawing on Aristotle’s Organon, Russell’s Principia Mathematica, and other central works, this program tracks the evolution of logic, be

From playlist Logic & Philosophy of Mathematics

Video thumbnail

Category Theory 2.1: Functions, epimorphisms

Functions, epimorphisms

From playlist Category Theory

Video thumbnail

Java programming concepts: What is a class

In this lesson Eddie talks about what classes are in Java programming. You must understand this if you are to proceed further with Java programming.

From playlist Java Programming with Eclipse

Video thumbnail

Introduction to Classification Models

Ever wonder what classification models do? In this quick introduction, we talk about what classifications models are, as well as what they are used for in machine learning. In machine learning there are many different types of models, all with different types of outcomes. When it comes t

From playlist Introduction to Machine Learning

Video thumbnail

Teach Astronomy - Logic

http://www.teachastronomy.com/ Logic is a fundamental tool of the scientific method. In logic we can combine statements that are made in words or in mathematical symbols to produce concrete and predictable results. Logic is one of the ways that science moves forward. The first ideas of

From playlist 01. Fundamentals of Science and Astronomy

Video thumbnail

18. Using classes in python

Classes are a super helpful data type in python. We can create objects that share similar information types. This video shows an example of classes where we create members of Bravais lattice and store relevant information like crystal system or centering as fields within the class. We can

From playlist Intro to Python Programming for Materials Engineers

Video thumbnail

Python OOP Tutorial 3: classmethods and staticmethods

In this Python Object-Oriented Tutorial, we will be learning about classmethods and staticmethods. Class methods are methods that automatically take the class as the first argument. Class methods can also be used as alternative constructors. Static methods do not take the instance or the c

From playlist Python Tutorials

Video thumbnail

Clojure Conj 2012 - Web Testing with Logic Programming

Web Testing with Logic Programming by: Daniel Gregoire There are a plethora of libraries and frameworks for authoring tests at all levels, but how do we test complex application states? Higher-level tests that need to verify complex scenarios tend to result in sequential, nested condition

From playlist Clojure Conf 2012

Related pages

Axiom of extensionality | Calculus | Type theory | Giuseppe Peano | Class (set theory) | Set theory | Willard Van Orman Quine | Formal system | New Foundations | Bertrand Russell | Russell's paradox | Gottlob Frege | Naive set theory | Zermelo–Fraenkel set theory