• Godel’s Theorem

    March 28, 2007

    We didn’t do justice in class to section 6.2 of the class text, Decidablity of Logical Theories. So here’s the story. A Logical Theory contains relations, variables, logical connectives, and quantifiers. The logical connectives are always AND, OR and NOT, and the quantifiers are always EXISTS and FORALL. These elements are combined into formulas in […]

  • TFTP Phase I

    March 28, 2007

    Due for Monday, April 2, Phase I of a TFTP Client/Server. Phaser I will implement: Recognition of command line options. Start up of server binding to port given in command line. Datagram construction of RRQ and WRQ by client, and sending UDP packet to server. Decode of RRQ and WRQ packet by server and dump […]

Powered by Wordpress and MySQL. Theme by Shlomi Noach, openark.org