21 Pages

# Russjohnson09

Bureaucrat Founder
My favorite wikis
• ## Generalized Approach to Applying Rules of Inference

November 6, 2012 by Russjohnson09

This is what I attempted to do later in the semester after I found that there is a definite patern in the way that the rules of inference are applied. Unfortunately, I just did not have enough time to put this into the main program, but I do feel that it deserves some explanation here. First, let's look at to simple rules of inference and how these are related to each other. Modus ponens states that $(p\land (p\rightarrow q))\rightarrow q \Leftrightarrow T$ and hypothetical syllogism states that $((p\rightarrow q)\land(q\rightarrow r))\rightarrow(p\rightarrow r)\Leftrightarrow T$. Now, without thinking about the logic behind these statements and just thinking about how each of these acts like a mold we can create a single method that can â€¦

• ## IRC

November 4, 2012 by Russjohnson09
• ## Testing of Various Features on Wiki

November 4, 2012 by Russjohnson09

$x=1$ $x=1$

• ## Logic

November 4, 2012 by Russjohnson09

Here I will be outlying what it is I have done for my senior project. It will go over some basic concepts of logic, some of the code I have written, as well as ways that I feel this code can be improved upon.

Over the course of this semester I have been writing a proof checker in python. Specifically, it checks proofs written in the Hilbert style which I have found in Understanding Symbolic Logic by Klenk. My motivation came from the QED Manifesto. I did some additional research by reading QED Manifesto Revisited and looked at various proof assistants and checkers. What I found was that none of these seemed to be focused towards Mathematicians. The syntax used to check certain simple proofs seemed overly complicated. It is this learning curâ€¦

• ## å¼¾å¹•

November 3, 2012 by Russjohnson09

Here I will outline the danmaku project that I will be working on over winter break.

I will be using Libgdx for the game development framework. One of the pros of this is that you can develop and do your debugging on your desktop before testing it on the Android. The compile time is significantly faster and so you can test code more often without it slowing you down.

The player will be represented as a red circle which will be pretty small in comparison to the rest of the screen. This will be a placeholder for testing purposes. I plan to later replace this with a better looking graphic for the player. However, the red circle will remain as it represents the primary hitbox for the player. One of the main features of a danmaku game is the hugeâ€¦