(Semi-regularly updated) list of resources for (not only) young mathematicians interested in logic and all things related:
Igor Oliveira's survey article on the main results from complexity theory and bounded arithmetic is a good starting point if you're interested in these topics.
The Complexity Zoo for information on complexity classes. (For pdf version click here.)
The Proof Complexity Zoo for information on proof systems and relationships between them.
Computational Complexity blog for opinions and interesting blog posts about computational complexity and bunch of other stuff.
Eitetsu Ken's list for resources on proof complexity, computational complexity, logic, graph theory, finite model theory, combinatorial game theory and type theory.
Student logic seminar's home page for worksheets on proof complexity, bounded arithmetic and forcing with random variables (great introduction for beginners).
Jan Krajíček's page is full of old teaching materials and resources for students (click past teaching) concernig logic, model theory and bounded arithmetic. I also recommend checking out his books. They are basically the equivalent of a bible for this stuff, although they are a bit difficult to read.
I also recommend the page of Sam Buss, there are downloadable versions of most of his articles and books and archive of old courses including resources on logic, set theory and some misc computer science. I especially recommend his chapters in Handbook of Proof Theory.
Amir Akbar Tabatabai's page for materials on topos theory and categories including lecture notes and recordings of lectures.
Andrej Bauer's article "Five stages of accepting constructive mathematics" for a funny and well-written introduction into constructive mathematics.
Lean Game Server for learning the proof assistant Lean by playing fun games.
Anya is live and ready to show you everything. Watch her strip, dance, and perform exclusive shows just for you. Interact in real-time and make your fantasies come true.
✓ Live Streaming✓ Interactive Chat✓ Private Shows✓ HD Quality
Anya is LIVE right now
FREE
Free to watch • No registration required • HD streaming
statistics needn’t be scary my dude, and i’m aiming to make low quality statistical lessons to help y’all with simple statistical concepts for all of your data analysis needs
feel free to message me with requests and questions, lots of love bye
[M] Hey all! For those of you interested in math but unable to attend university, check out Khan Academy! Here’s a link to the beginning of their algebra series where they start by talking about the historical origins of algebra as it originated in Baghdad, the nature of abstraction, and the reason we use symbols as opposed to just using numbers. It’s pretty elementary if you are just out of high school and have been doing that kind of math for years, but if you’re someone who is slightly older or have just not been around too much math, I think that this will be a good place to start.
https://www.khanacademy.org/math/algebra-home/alg-intro-to-algebra
hey guys!! I’m sure this has been mentioned in the studyblr community before, but while studying for my calculus final I came across a really wonderful set of lecture videos by Professor Leonard on youtube. they’re long (cause they’re lectures) but insanely thorough and helpful. he has videos for calculus 1, 2, and 3!! feel free to reblog so others can see this as well 😊
Anya is live and ready to show you everything. Watch her strip, dance, and perform exclusive shows just for you. Interact in real-time and make your fantasies come true.
✓ Live Streaming✓ Interactive Chat✓ Private Shows✓ HD Quality
Anya is LIVE right now
FREE
Free to watch • No registration required • HD streaming
Math – the One Subject Most Likely To Cause Your Child To Fail
Click Image To Visit Site"With Math How You Start Determines How You Finish! It’s Absolutely Vital You Make Math An Exciting Adventure For Your Child From Preschool And Kindergarten Right Through Elementary School And Beyond. Discover How With Our Fantastic Math Manipulatives Software And Innovative Early Years Math Program Based On The Most Versatile And Powerful Math Manipulative Ever Devised – Cuisenaire Rods. Perfect For Home Schooling Families"
Review written by Christine Hindle for the Old Schoolhouse Magazine – November 2010
"This product is a math program from England that uses Cuisenaire Rods to teach math at all levels starting with preschool. It consists of a computer program for "playing" with the colored rods on a grid. an e-book with extensive instructions, and a User’s Manual (all downloadable – no shipping involved). This is a wonderful program for a visual learner. On the preschool level, it gets the child ready for math by just providing play time with the rods, enabling the child to visualize sizes and comparable amounts – leading to addition. The curriculum teaches vocabulary (letter names and color names for the rods) and refers to this as "algebra before arithmetic." If the child uses the rods and learns the concepts from the beginning, the program builds into addition, subtraction, multiplication, division, fractions, decimals, algebra etc.
I own a set of Cuisenaire rods and have used them in the past with math, but I never really had the knowledge of how best to incorporate them into the program. With this very detailed e-book and the accompanying software and manual, I now have the tools available to me. I intend to start my kindergartener with this program so that she can have the opportunity from the start. She already is familiar with the rods and plays with them: now I can start her on her… Read more…
Math – the One Subject Most Likely To Cause Your Child To Fail
Click Image To Visit Site"With Math How You Start Determines How You Finish! It’s Absolutely Vital You Make Math An Exciting Adventure For Your Child From Preschool And Kindergarten Right Through Elementary School And Beyond. Discover How With Our Fantastic Math Manipulatives Software And Innovative Early Years Math Program Based On The Most Versatile And Powerful Math Manipulative Ever Devised – Cuisenaire Rods. Perfect For Home Schooling Families"
Review written by Christine Hindle for the Old Schoolhouse Magazine – November 2010
"This product is a math program from England that uses Cuisenaire Rods to teach math at all levels starting with preschool. It consists of a computer program for "playing" with the colored rods on a grid. an e-book with extensive instructions, and a User’s Manual (all downloadable – no shipping involved). This is a wonderful program for a visual learner. On the preschool level, it gets the child ready for math by just providing play time with the rods, enabling the child to visualize sizes and comparable amounts – leading to addition. The curriculum teaches vocabulary (letter names and color names for the rods) and refers to this as "algebra before arithmetic." If the child uses the rods and learns the concepts from the beginning, the program builds into addition, subtraction, multiplication, division, fractions, decimals, algebra etc.
I own a set of Cuisenaire rods and have used them in the past with math, but I never really had the knowledge of how best to incorporate them into the program. With this very detailed e-book and the accompanying software and manual, I now have the tools available to me. I intend to start my kindergartener with this program so that she can have the opportunity from the start. She already is familiar with the rods and plays with them: now I can start her on her… Read more…
Math – the One Subject Most Likely To Cause Your Child To Fail Download
Math – the One Subject Most Likely To Cause Your Child To Fail Download
Click Image To Visit Site "With Math How You Start Determines How You Finish! It’s Absolutely Vital You Make Math An Exciting Adventure For Your Child From Preschool And Kindergarten Right Through Elementary School And Beyond. Discover How With Our Fantastic Math Manipulatives Software And Innovative Early Years Math Program Based On The Most Versatile And Powerful Math Manipulative Ever Devised – Cuisenaire Rods. Perfect For Home Schooling Families"
Review written by Christine Hindle for the Old Schoolhouse Magazine – November 2010
"This product is a math program from England that uses Cuisenaire Rods to teach math at all levels starting with preschool. It consists of a computer program for "playing" with the colored rods on a grid. an e-book with extensive instructions, and a User’s Manual (all downloadable – no shipping involved). This is a wonderful program for a visual learner. On the preschool level, it gets the child ready for math by just providing play time with the rods, enabling the child to visualize sizes and comparable amounts – leading to addition. The curriculum teaches vocabulary (letter names and color names for the rods) and refers to this as "algebra before arithmetic." If the child uses the rods and learns the concepts from the beginning, the program builds into addition, subtraction, multiplication, division, fractions, decimals, algebra etc.
I own a set of Cuisenaire rods and have used them in the past with math, but I never really had the knowledge of how best to incorporate them into the program. With this very detailed e-book and the accompanying software and manual, I now have the tools available to me. I intend to start my kindergartener with this program so that she can have the opportunity from the start. She already is familiar with the rods and plays with them: now I can start her on her… Read more…
Math – the One Subject Most Likely To Cause Your Child To Fail Download
