[math/9601203v1] Introduction to mathematical logic - A problem solving course

[https://arxiv.org/abs/math/9601203v1] - 2021-01-03 09:59:18 - public:stevetao

Book, Free, Logic, Math, Math-Logic - 5 | id:485438 -

Hardegree - Philosophy 110

[http://courses.umass.edu/phil110-gmh/MAIN/IHome-5.htm] - 2021-01-03 09:51:23 - public:stevetao

Book, Course, Free, Logic, Math, Math-Logic - 6 | id:485437 -

Phil 310 Website

[http://courses.umass.edu/phil310-gmh/MAIN/IHome-4.htm] - 2021-01-03 09:41:26 - public:stevetao

Book, Course, Free, Logic, Math, Math-Logic - 6 | id:485436 -

Nuel Belnap

[http://www.pitt.edu/~belnap/] - 2021-01-03 09:38:01 - public:stevetao

Book, Free, Logic, Math, Math-Logic, Person - 6 | id:485435 -

Jeremy Avigad's Home Page

[https://www.andrew.cmu.edu/user/avigad/] - 2021-01-03 09:12:25 - public:stevetao

Book, Math, Math-Logic, Person - 4 | id:485434 -

Logic for Computer Scientists - Wikibooks, open books for an open world

[https://en.wikibooks.org/wiki/Logic_for_Computer_Scientists] - 2021-01-03 09:04:09 - public:stevetao

Book, Free, Logic, Math, Math-Logic - 5 | id:485433 -

Logic for Computer Science - Wikibooks, open books for an open world

[https://en.wikibooks.org/wiki/Logic_for_Computer_Science] - 2021-01-03 09:02:05 - public:stevetao

Book, Free, Logic, Math, Math-Logic - 5 | id:485432 -

Introduction to Mathematical Logic (Edition 2014)

[https://dspace.lu.lv/dspace/handle/7/2777] - 2021-01-03 09:00:14 - public:stevetao

Book, Free, Logic, Math, Math-Logic - 5 | id:485431 -

What is Mathematics: Gödel's Theorem and Around (Edition 2013)

[https://dspace.lu.lv/dspace/handle/7/1442] - 2021-01-03 08:59:12 - public:stevetao

Book, Free, Logic, Math, Math-Logic - 5 | id:485430 -

A Friendly Introduction to Mathematical Logic – Minerva

[https://minerva.geneseo.edu/a-friendly-introduction-to-mathematical-logic/] - 2021-01-03 08:55:26 - public:stevetao

Book, Free, Logic, Math, Math-Logic - 5 | id:485429 -

Simpson: Home Page

[http://www.personal.psu.edu/t20/] - 2021-01-03 08:51:55 - public:stevetao

Logic, Math, Math-Logic, Person - 4 | id:485428 -

Actual Causality

[https://www.cs.cornell.edu/home/halpern/papers/causalitybook-ch1-3.html] - 2021-01-03 08:42:22 - public:stevetao

Book, Free, Logic, Math, Math-Logic - 5 | id:485427 -

Mathematical Logic Free Online Courses and MOOCs | MOOC List

[https://www.mooc-list.com/tags/mathematical-logic] - 2021-01-03 08:38:39 - public:stevetao

Course, Logic, Math, Math-Logic - 4 | id:485426 -

Free Online Course: Mathematical Logic and Algorithms Theory from iversity | Class Central

[https://www.classcentral.com/course/iversity-mathematical-logic-and-algorithms-theory-6116] - 2021-01-03 08:38:07 - public:stevetao

Course, Logic, Math, Math-Logic - 4 | id:485425 -

An almost one-liner to construct the Mandelbrot set with Mathematica | A blog on science

[https://ekamperi.github.io/math/2020/12/01/mandelbrot-set-one-liner.html] - 2020-12-23 15:15:39 - public:emergie

math - 1 | id:485240 -

Camera View Matrix

[https://stackoverflow.com/questions/28075743/how-do-i-compose-a-rotation-matrix-with-human-readable-angles-from-scratch/28084380#28084380] - 2020-09-06 16:09:17 - public:amedlock

gamedev, math - 2 | id:375943 -

Essential Math for gamedev

[http://essentialmath.com/] - 2020-08-22 23:53:27 - public:amedlock

gamedev, math - 2 | id:375777 -

BetterExplained – Math lessons that click - BetterExplained – Math lessons for lasting insight.

[https://betterexplained.com/] - 2020-07-20 12:16:50 - public:xxx

interesting, learn, learning, math, study - 5 | id:351463 -

Learn Math

Welcome to stixfonts | Scientific and Technical Information Exchange (STIX)

[https://www.stixfonts.org/] - 2020-07-18 03:20:52 - public:stevetao

Font, Math - 2 | id:351159 -

GitHub - alif-type/xits: XITS - OpenType implementation of STIX fonts with math support

[https://github.com/alif-type/xits] - 2020-07-18 03:15:26 - public:stevetao

Font, Math - 2 | id:351158 -

GitHub - alerque/libertinus: Libertinus font family

[https://github.com/alerque/libertinus] - 2020-07-18 03:15:09 - public:stevetao

Font, Math - 2 | id:351157 -

Which OpenType Math fonts are available? - TeX - LaTeX Stack Exchange

[https://tex.stackexchange.com/questions/425098/which-opentype-math-fonts-are-available] - 2020-07-18 03:14:58 - public:stevetao

Font, Math - 2 | id:351156 -

CindyJS

[https://cindyjs.org/gallery/main/] - 2020-06-22 15:50:20 - public:xxx

amazing, cool, graphs, library, math, mathematics, webgl - 7 | id:350404 -

Amazing math graphs library with 3d

תרגילים עם מספרים פלינדרומים לילדים

[http://ymath.haifa.ac.il/images/stories/mispar_chazak_2000/issue29/May_Anatoly.pdf] - 2020-05-11 17:04:48 - public:xxx

interesting, kids, math, numbers, palindrome - 5 | id:310190 -

Typing Mathematics in Microsoft Word - Wikibooks, open books for an open world

[https://en.wikibooks.org/wiki/Typing_Mathematics_in_Microsoft_Word] - 2020-05-04 01:22:38 - public:stevetao

Equation, Math, Tip, Word - 4 | id:309962 -

3 Ways To Write Math Equations In HTML - Code Boxx

[https://code-boxx.com/math-equations-html/] - 2020-04-09 03:38:38 - public:stevetao

HTML, Math - 2 | id:292852 -

Explorable Explanations

[https://explorabl.es/] - 2020-02-21 15:25:35 - public:xxx

chemistry, interesting, kids, learn, math, nice, sample - 7 | id:283172 -

Learn by example and trying

Doomsday Algorithm

[http://rudy.ca/doomsday.html] - 2020-01-10 17:23:28 - public:xxx

calculator, dates, math - 3 | id:277060 -

The Doomsday Algorithm gives the day of the week for any date (and you can do it in your head)

Quadratic Equations - Quadratic Equations How to Solve

[https://www.popularmechanics.com/science/math/a30152083/solve-quadratic-equations/] - 2019-12-08 12:37:21 - public:mepage

equations, math, reference - 3 | id:1495517 -

How to Convert Watt Hours Per Meter Squared to Lux Hours

[https://sciencing.com/how-8305943-convert-meter-squared-lux-hours.html] - 2019-12-02 13:26:01 - public:mepage

development, formulas, light, lux, math - 5 | id:1495521 -

CS270 -- Mathematical Foundations in CS, Fall 2017

[https://www.cs.drexel.edu/~jjohnson/2017-18/fall/CS270/] - 2019-11-28 18:04:23 - public:stevetao

Logic, Math, Scheme - 3 | id:272122 -

reference request - Axioms of Propositional Logic with as few negation axioms as possible - Mathematics Stack Exchange

[https://math.stackexchange.com/questions/3260288/axioms-of-propositional-logic-with-as-few-negation-axioms-as-possible/3261156] - 2019-11-06 17:19:46 - public:stevetao

Axiom, Logic, Math, Math-Logic - 4 | id:271293 -

Why are there several axiom systems for propositional logic? - Mathematics Stack Exchange

[https://math.stackexchange.com/questions/3230255/why-are-there-several-axiom-systems-for-propositional-logic] - 2019-11-06 17:18:08 - public:stevetao

Axiom, Logic, Math, Math-Logic - 4 | id:271292 -

Accueil - Étienne MIQUEY

[https://www.irif.fr/~emiquey/these/] - 2019-11-05 10:09:27 - public:stevetao

Logic, Math, Math-Logic - 3 | id:271273 -

Mathematics Its Contents Methods And Meaning Vol 1 2 and 3 : Aleksandrov : Free Download, Borrow, and Streaming : Internet Archive

[https://archive.org/details/MathematicsItsContentsMethodsAndMeaningVol3] - 2019-11-04 15:39:31 - public:aguynamedryan

book, fundamentals, math - 3 | id:279025 -

Logic in Action

[http://www.logicinaction.org/] - 2019-10-29 09:14:08 - public:stevetao

Book, Course, Logic, Math, Math-Logic - 5 | id:269583 -

propositionFunction

[http://www.personal.kent.edu/~rmuhamma/Philosophy/Logic/SymbolicLogic/7-propositionfunction.htm] - 2019-10-19 23:05:08 - public:stevetao

Math, Math-Logic - 2 | id:269489 -

Mathematics

[http://www.personal.kent.edu/~rmuhamma/Mathematics/mathematics.html] - 2019-10-19 23:04:39 - public:stevetao

Math - 1 | id:269488 -

A Modern Formal Logic Primer — Teller Logic Primer

[https://tellerprimer.ucdavis.edu/] - 2019-10-07 04:44:11 - public:stevetao

Book, Free, Logic, Math, Math-Logic, Textbook - 6 | id:267007 -

Introduction to Mathematical Logic : Mendelson, Elliott : Free Download, Borrow, and Streaming : Internet Archive

[https://archive.org/details/IntroductionToMathematicalLogicByMendelson] - 2019-10-07 04:43:54 - public:stevetao

Book, Free, Logic, Math, Math-Logic, Textbook - 6 | id:267006 -

Open Logic Project Builds

[http://builds.openlogicproject.org/] - 2019-10-06 15:04:23 - public:stevetao

Book, Free, Logic, Math, Math-Logic, Textbook - 6 | id:267001 -

Open Logic Project – Open Source, Customizable, Advanced Logic Text

[https://openlogicproject.org/] - 2019-10-06 15:03:55 - public:stevetao

Book, Free, Logic, Math, Math-Logic, Textbook - 6 | id:267000 -

Classical Logic (Stanford Encyclopedia of Philosophy)

[https://plato.stanford.edu/entries/logic-classical/] - 2019-10-06 14:54:59 - public:stevetao

Classical, Logic, Math, Math-Logic - 4 | id:266999 -

BiVector.net

[https://bivector.net/] - 2019-08-03 12:14:50 - public:amedlock

gamedev, math, programming - 3 | id:265964 -

Pre-employment Testing - Math Tests

[https://www.teamglide.com/mathsbusinesstests] - 2019-08-02 15:21:44 - public:adamsellman

academics test, America, business, employee performance, forulae, human resources, math, mathematics, mathematics business, numbers, performance, pre-employment skills, pre-employment testing, recruitment, US, USA - 16 | id:265933 -

Teamglide's Mathematics Business Tests asks individuals to evaluate numerical data found in business related questions and statements, charts and illustrations. The test provides an insight into an individuals ability to leverage formulas and numbers, enhance productivity and performance, while reducing numerical business errors. Test takers are provided with a range of questions and statements in which they are required to select the correct multiple-choice answer or asked to write their answer upon answering an open ended question.

Point-Plane Distance -- from Wolfram MathWorld

[http://mathworld.wolfram.com/Point-PlaneDistance.html] - 2019-07-10 14:28:11 - public:stevetao

Math, Projection - 2 | id:264243 -

Solving Real-World Problems | Math Solutions

[https://mathsolutions.com/ms_classroom_lessons/solving-real-world-problems/] - 2019-02-26 05:38:41 - public:stevetao

Grade-1, Math, Real-World - 3 | id:243732 -

Scratchapixel

[http://www.scratchapixel.com/] - 2019-02-09 14:08:17 - public:xxx

code, development, gamedev, games, learn, math, programming - 7 | id:241650 -

Learn computer graphics and game programming

Explore - LeetCode

[https://leetcode.com/explore/interview/card/top-interview-questions-hard/] - 2019-01-13 22:26:52 - public:xxx

code, development, interview, jobs, learn, math, software - 7 | id:232165 -

LeetCode Explore is the best place for everyone to start practicing and learning on LeetCode. No matter if you are a beginner or a master, there are always new topics waiting for you to explore.

Free Data Mining Books | Download free books legally

[https://www.topfreebooks.org/free-data-mining-books/] - 2019-01-03 12:18:22 - public:stevetao

Book, Data-Mining, Database, Free, Math, Statistics - 6 | id:230247 -

Search

Results