TeachLogic Home
Description: We seek to emphasize logic as an underpinning of many aspects of computer science, not by introducing a new class into the standard curriculum, but rather by creating ~2-week modules which integrate into existing standard CS courses.
Keywords: Logic, Curriculum
Tags: teachlogic, home, logo, logic, curriculum, nsf, computer, science, formal, module, software, teaching, based, pdf, standard, base, mission, model, checking, methods, modules, class, tools, courses, systems, project, engineering, database, tool, week, existing, list, reasoning, databases, verification, modeling, privacy, concurrent,
Teachlogic.org
Content Revalency:
Title: 100.00%
Description: 26.47%
Keywords: 100.00% | Document size: 10,318 bytes
More info: Whois - Trace Route - RBL Check |
![]() ![]() ![]() |
TEACHLOGIC.ORG - Site Location | |
Country/Flag | ![]() |
City/Region/Zip Code | , , |
Organization | GANDI SAS |
Internet Service Provider | GANDI SAS |
TEACHLOGIC.ORG - DNS Information | |
IP Address | 217.70.184.38 ~ Whois - Trace Route - RBL Check |
Domain Name Servers | a.dns.gandi.net 173.246.98.1 b.dns.gandi.net 213.167.229.1 c.dns.gandi.net 217.70.179.1 |
Mail Exchange | spool.mail.gandi.net 217.70.184.6 fb.mail.gandi.net 217.70.184.162 |
Site Response Header | |
Response | HTTP/1.0 302 Found |
Server | Apache/1.3.33 (Darwin) DAV/1.0.3 PHP/4.4.7 |
Date | Sun, 17 Apr 2011 11:45:20 GMT |
Content-Type | text/html |