Jaina seven-valued logic - Wikipedia

[https://en.wikipedia.org/wiki/Jaina_seven-valued_logic] - 2023-03-25 14:45:59 - public:stevetao

Logic, Math - 2 | id:1384999 -

History: matrices and determinants

[https://mathshistory.st-andrews.ac.uk/HistTopics/Matrices_and_determinants/] - 2023-03-14 00:20:09 - public:mikeinmass

math - 1 | id:1378008 -

Discrete Mathematics

[https://www.jiblm.org/mahavier/discrete/html/book-1.html] - 2023-02-07 06:38:28 - public:stevetao

Book, Discrete-Math, Math - 3 | id:1301755 -

Calculators drawer archive.org

[https://archive.org/details/calculatordrawer] - 2023-01-29 14:40:53 - public:drbrandus

archive, emulator, math - 3 | id:1294959 -

Emulation of several calculators

(1) Tivadar Danka (@TivadarDanka) / Twitter

[https://twitter.com/TivadarDanka] - 2023-01-09 19:20:50 - public:mzimmerm

math, twitter - 2 | id:1294800 -

Classical Logic (Stanford Encyclopedia of Philosophy)

[https://plato.stanford.edu/entries/logic-classical/] - 2023-01-03 04:36:58 - public:mzimmerm

logic, math - 2 | id:1294772 -

Boolean normal form - Learning Logic for Computer Science

[https://logic4free.informatik.uni-kiel.de/llocs/Boolean_normal_form] - 2022-12-31 22:54:26 - public:stevetao

Boolean, Course, Logic, Math, Math-Logic, Normal-Form, Propositional-Logic - 7 | id:1294760 -

Lecture1

[https://www.cs.columbia.edu/~rgu/courses/e6998/fall2018/Lecture1.html] - 2022-12-31 22:42:44 - public:stevetao

Course, Logic, Math, Math-Logic, Propositional-Logic - 5 | id:1294759 -

Syllabus - Programming Languages and Methodologies

[https://eecs.ceas.uc.edu/~ralescal/AI_I/LECTURES/Lecture1_printable.html] - 2022-12-31 22:42:15 - public:stevetao

Course, Logic, Math, Math-Logic, Propositional-Logic - 5 | id:1294758 -

The formal language of propositional logic – The nature of physics

[https://philphys.hypotheses.org/149] - 2022-12-31 16:01:49 - public:stevetao

Logic, Math, Math-Logic, Propositional-Logic - 4 | id:1294757 -

logic - How to denote the BNF syntax of propositional calculus? - Mathematics Stack Exchange

[https://math.stackexchange.com/questions/4037220/how-to-denote-the-bnf-syntax-of-propositional-calculus] - 2022-12-31 16:00:20 - public:stevetao

BNF, Logic, Math, Math-Logic, Propositional-Logic - 5 | id:1294756 -

Introduction to Logic

[http://intrologic.stanford.edu/homepage/index.html] - 2022-12-31 15:56:44 - public:stevetao

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

Introduction to Logic - Chapter 2

[http://intrologic.stanford.edu/chapters/chapter_02.html] - 2022-12-31 15:55:15 - public:stevetao

Logic, Math, Math-Logic, Propositional-Logic - 4 | id:1294754 -

propositional logic- formal language Propositional Logic is a formal language. - Zitoc

[https://zitoc.com/propositional-logic-formal-language/] - 2022-12-31 15:51:41 - public:stevetao

Logic, Math, Math-Logic, Propositional-Logic - 4 | id:1294753 -

Propositional Logic | Internet Encyclopedia of Philosophy

[https://iep.utm.edu/prop-log/] - 2022-12-31 15:50:15 - public:stevetao

Logic, Math, Math-Logic, Propositional-Logic - 4 | id:1294752 -

การพิสูจน์ทางคณิตศาสตร์ - YouTube

[https://www.youtube.com/results?search_query=%E0%B8%81%E0%B8%B2%E0%B8%A3%E0%B8%9E%E0%B8%B4%E0%B8%AA%E0%B8%B9%E0%B8%88%E0%B8%99%E0%B9%8C%E0%B8%97%E0%B8%B2%E0%B8%87%E0%B8%84%E0%B8%93%E0%B8%B4%E0%B8%95%E0%B8%A8%E0%B8%B2%E0%B8%AA%E0%B8%95%E0%B8%A3%E0%B9%8C] - 2022-11-25 22:08:33 - public:stevetao

Math, Proof, Thai - 3 | id:1294462 -

Free Math Textbooks | Open Culture

[https://www.openculture.com/free-math-textbooks] - 2022-11-18 06:04:36 - public:stevetao

Math, Proof - 2 | id:1294356 -

An Introduction to Proofs and the Mathematical Vernacular

[https://personal.math.vt.edu/day/ProofsBook/] - 2022-11-18 05:59:35 - public:stevetao

Book, Free, Math, Proof - 4 | id:1294355 -

Proofs in Mathematics

[http://www.cut-the-knot.org/proofs/index.shtml] - 2022-11-18 05:57:45 - public:stevetao

Book, Free, Math, Proof - 4 | id:1294354 -

Russ Gordon

[http://people.whitman.edu/~gordon/math260.html] - 2022-11-18 05:48:38 - public:stevetao

Book, Free, Math, Proof - 4 | id:1294353 -

How To Write Proofs

[http://zimmer.csufresno.edu/~larryc/proofs/proofs.html] - 2022-11-18 05:47:36 - public:stevetao

Book, Free, Math, Proof - 4 | id:1294352 -

PROOF IN MATHEMATICS: AN INTRODUCTION

[https://web.maths.unsw.edu.au/~jim/proofs.html] - 2022-11-18 05:46:35 - public:stevetao

Book, Free, Math, Proof - 4 | id:1294351 -

Free Texts and More

[https://hefferon.net/] - 2022-11-18 05:39:21 - public:stevetao

Book, Free, Math, Proof, Theory-of-Computation - 5 | id:1294350 -

Textbooks — Ted Sundstrom

[https://www.tedsundstrom.com/textbooks3] - 2022-11-18 03:02:21 - public:stevetao

Book, Free, Math, Proof - 4 | id:1294345 -

Approved Textbooks | American Inst. of Mathematics

[https://aimath.org/textbooks/approved-textbooks/] - 2022-11-18 02:58:36 - public:stevetao

Algebra, Book, Calculus, Discrete-Math, Free, Logic, Math, Math-Logic, Number-Theory, Probability, Proof - 11 | id:1294344 -

Gödel’s first incompleteness theorem | TigYog

[https://tigyog.app/d/H7XOvXvC_x/r/goedel-s-first-incompleteness-theorem] - 2022-10-21 18:46:07 - public:xxx

games, Gödel, learn, math, mathematics - 5 | id:1287273 -

Examples of NFA

[https://www.bookofproofs.org/branches/examples-of-nfa/] - 2022-10-18 12:14:52 - public:stevetao

Automata, Math, NFA, Proof, State-Machine - 5 | id:1287188 -

Sakarya Üniversitesi Fen Bilimleri Enstitüsü Dergisi » Makale » Designing and Interpreting a Mathematical Programming Language

[http://www.saujs.sakarya.edu.tr/tr/pub/saufenbilder/article/494974] - 2022-09-23 16:42:41 - public:stevetao

Grammar, Math, Mathematical-Programming - 3 | id:1276717 -

Fast branchless ray box intersection

[https://tavianator.com/2022/ray_box_boundary.html] - 2022-09-15 23:59:38 - public:amedlock

3d, gamedev, math - 3 | id:1276598 -

Terms Used in Equations

[https://www.factmonster.com/math-science/mathematics/terms-used-in-equations] - 2022-08-12 04:33:42 - public:stevetao

Math, Term, Vocabulary - 3 | id:1257932 -

Lecture 21: Dynamic Programming III: Parenthesization, Edit Distance, Knapsack | Introduction to Algorithms | Electrical Engineering and Computer Science | MIT OpenCourseWare

[https://ocw.mit.edu/courses/6-006-introduction-to-algorithms-fall-2011/resources/lecture-21-dp-iii-parenthesization-edit-distance-knapsack/] - 2022-07-20 15:24:55 - public:mikeinmass

math - 1 | id:1221787 -

linear algebra - Can any 3d rotation be done with only two angles? - Mathematics Stack Exchange

[https://math.stackexchange.com/questions/1515109/can-any-3d-rotation-be-done-with-only-two-angles] - 2022-07-10 23:44:18 - public:mzimmerm

3d, math, rotate - 3 | id:1186503 -

3D Rotations: Intuitions And Limitations | by OngKoonHan | Towards Data Science

[https://towardsdatascience.com/3d-rotations-intuitions-and-limitations-f3ae2122fe23] - 2022-07-10 23:43:33 - public:mzimmerm

3d, math, rotate - 3 | id:1186501 -

Otázky, na kterých letos pohořelo nejvíc maturantů. Jak byste dopadli vy? - Seznam Zprávy

[https://www.seznamzpravy.cz/clanek/domaci-zivot-v-cesku-otazky-na-kterych-letos-pohorelo-nejvic-maturantu-jak-byste-dopadli-vy-204713#dop_ab_variant=0&dop_source_zone_name=zpravy.sznhp.box&dop_req_id=4mme7JXKrHQ-202206030455&dop_id=204713&source=hp&seq_no] - 2022-06-05 05:08:18 - public:mzimmerm

math - 1 | id:1119232 -

ทำไมเราต้องเรียนแคลคูลัส - YouTube

[https://www.youtube.com/watch?v=BB7n89JdASM] - 2022-04-22 18:55:15 - public:stevetao

Calculus, Math, Pedagogy, Tip - 4 | id:1097901 -

Mathematics | Special Issue : Effective Integration of the Affective Domain in the Teaching and Learning of Mathematics

[https://www.mdpi.com/journal/mathematics/special_issues/Affect_Domain_Math] - 2022-04-05 03:28:54 - public:stevetao

Affective, Bloom, Domain, Education, Math, Taxonomy - 6 | id:1074453 -

Affective Domain in Mathematics Education

[http://ve.scielo.org/scielo.php?script=sci_abstract&pid=S1011-22512007000100012&lng=pt&nrm=iso&tlng=en] - 2022-04-05 03:03:43 - public:stevetao

Affective, Bloom, Domain, Education, Math, Taxonomy - 6 | id:1074452 -

Elementary Calculus: An Infinitesimal Approach

[https://people.math.wisc.edu/~keisler/calc.html] - 2022-02-04 14:10:59 - public:stevetao

Book, Calculus, Free, Math - 4 | id:1021859 -

Cosine Similarity is Euclidean Distance ·

[https://skeptric.com/cosine-is-euclidean/] - 2022-01-05 21:40:22 - public:mikeinmass

math, work - 2 | id:980495 -

WFF 'N PROOF - Wikipedia

[https://en.wikipedia.org/wiki/WFF_%27N_PROOF] - 2022-01-03 10:16:53 - public:stevetao

Game, Logic, Math, Math-Logic - 4 | id:980420 -

Fitch notation - Wikipedia

[https://en.wikipedia.org/wiki/Fitch_notation] - 2022-01-03 10:12:54 - public:stevetao

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

Well-formed formula

[https://en-academic.com/dic.nsf/enwiki/229538] - 2022-01-03 10:12:42 - public:stevetao

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

Linear format equations using UnicodeMath and LaTeX in Word

[https://support.microsoft.com/en-us/office/linear-format-equations-using-unicodemath-and-latex-in-word-2e00618d-b1fd-49d8-8cb4-8d17f25754f8] - 2021-12-28 07:04:52 - public:stevetao

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

Complete Reference on Ms Word Equation Editor Shortcut - PickupBrain

[https://www.pickupbrain.com/ms-word/equation-editor-shortcut-word/] - 2021-12-25 01:27:04 - public:stevetao

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

Hilbert's problems - Wikipedia

[https://en.wikipedia.org/wiki/Hilbert%27s_problems] - 2021-12-04 01:12:21 - public:mzimmerm

math, people.hilbert, problem - 3 | id:958923 -

[1904.12320] Real numbers, data science and chaos: How to fit any dataset with a single parameter

[https://arxiv.org/abs/1904.12320] - 2021-09-30 19:38:37 - public:mzimmerm

data, good, math, statistics - 4 | id:797509 -

Somehow, using a single parameter can fit any dataset (arbitrarily close, depending on Tau). The function is fα(x) = sin^2(2^xτ * arcsin √α)

soft question - Visually stunning math concepts which are easy to explain - Mathematics Stack Exchange

[https://math.stackexchange.com/questions/733754/visually-stunning-math-concepts-which-are-easy-to-explain] - 2021-09-24 16:16:25 - public:xxx

kids, learn, math, mathematics, nice, visualization - 6 | id:795078 -

taskbook_arnold_en_0.pdf - Problems for children from 5 to 15

[https://www.imaginary.org/sites/default/files/taskbook_arnold_en_0.pdf] - 2021-07-30 20:54:23 - public:xxx

book, kids, math, mathematics, pdf, riddles - 6 | id:744600 -

Math riddles

Papers | Evervault

[https://evervault.com/papers] - 2021-04-02 15:32:41 - public:xxx

books, cryptocurrency, cryptography, downloads, learn, math, pdf - 7 | id:678615 -

Cryptography books and math

3d perspective calculation

[https://grelf.net/forestdesign.html#N657288] - 2021-03-04 04:34:34 - public:amedlock

gamedev, math - 2 | id:574113 -

Search

Results