TeachingSpace
CS455/655 Introduction to Computer Networks
General Information
How to use WireShark in the Undergraduate Lab.
Labs
Lab 03:
Keywords
Code Example
Lab 04: Wireshark Lab of DNS and HTTP
Part 1: DNS Protocol
Part 2: HTTP Protocol
Part 3: Miscellaneous
CS4440/640 Introduction to Artificial Intelligence
General Information
Discussion Session
Lab 01: Python and Unit Test
Unit Test in Python
Code Example
CS320 Concepts of Programming Languages (Spring 2015)
General Information
Working With CS Computing Resources
Contents
Discussion Session 1
Submissions
Python
Background
Regular Language and Regular Expression
BNF: Backus Naur Form
Bibliography
Discussion Session 2
Grammar
Parsing
Anatomy of
LL(k)
Eliminating Left Recursion
Coding Demo
Left-factoring
Discussion Session 3
Ambiguity X Left Recursion X Associativity
Operator Precedence and Associativity
Limitation of our implementation of Recursive Descendent Parser
Discussion Session 4
Language of Regular Expressions
Example of Abstract Syntax Tree
Match Regular Expression against String
Discussion Session 5
Computer Architecture
Program Examples
Tail Call Optimization
Bibliography
Discussion Session 6: Program Verification
Intepretation
Bounded Exhaustive Testing
Proof by Induction
Example of fibonacci function
Discussion Session 7: Type System
Compiler must terminate!
Type Theory
Bibliography
Discussion Session 8: Unification
Statement of Problem
Application of Unification
A More General Unification Algorithm
Bibliography
Discussion Session 9: Play with Haskell
Problem Set
Code Example
Discussion Session 10: Search
Haskell Syntax
Concept
Code Example
Misc
CS320 Concepts of Programming Languages (Summer 2015)
General Information
Working With CS Computing Resources
Contents
Lab Session 1
Usage of Git
Bitbucket
Cloud9
csa2.bu.edu
Lab Session 2
Usage of Git: Merge and Resovle Conflict
Slides of the session
Lab Session 4
Unification Problem
Bibliography
Lecture 06/11/2015
Reference and Matrix
Game of Tetris
Lab Session 5
Quick Sort
Bibliography
Lab Session 6
Operations on Braun Tree
TeachingSpace
Docs
»
Welcome to Teaching Space’s documentation!
Edit on GitHub
Welcome to Teaching Space’s documentation!
¶
Courses:
CS455/655 Introduction to Computer Networks
General Information
How to use WireShark in the Undergraduate Lab.
Labs
CS4440/640 Introduction to Artificial Intelligence
General Information
Discussion Session
CS320 Concepts of Programming Languages (Spring 2015)
General Information
Working With CS Computing Resources
Contents
CS320 Concepts of Programming Languages (Summer 2015)
General Information
Working With CS Computing Resources
Contents
Read the Docs
v: latest
Versions
latest
Downloads
pdf
htmlzip
epub
On Read the Docs
Project Home
Builds
Free document hosting provided by
Read the Docs
.