Southern Polytechnic State University

Undergraduate Academic Catalog 2012-2013

Catalog-Only Search Limit Search to: Limit search to Entire Catalog Courses Only Programs Only

Home > Undergraduate Academic Catalog 2012-2013 > Degree Course Descriptions > Course Descriptions > Computer Science (CS) Courses > CS 4423 Logical Foundations of Computer Science

Print this page

CS 4423 Logical Foundations of Computer Science

Prerequisite: CS 3424, MATH 2345 and senior standing

3-0-3

An elective course surveying computability theory, finite state machines, automata, parsing, grammars, and selected aspects of compiler construction. Particularly useful for students contemplating attending graduate school in computer science.

Up one level: Computer Science (CS) Courses

Table of Contents

• President's Message
• General Information
• About This Catalog
• Admissions Information
• Financial Aid Information
• Financial Information
• Student Affairs
• Academic Regulations and Administrative Procedures
• The USG Core Curriculum
• Programs of Study
• Core Course Descriptions
• Degree Course Descriptions
  • Course Descriptions
    • Accounting Courses
    • Anthropology Course
    • Apparel and Textile Technology Courses
    • Architecture Courses
    • ARCH 3011 Architecture Studio I
    • ARCH 3012 Architecture Studio II
    • ARCH 3113 Architecture Culture III - 1850 through 1945
    • ARCH 3116 Urban Planning and Design Theory
    • ARCH 3211 Architecture Structures II: Steel and Wood
    • ARCH 3212 Architecture Structures III: Concrete and Lateral Loads
    • ARCH 3313 Environmental Technology II: Human Comfort, Sustainability and HVAC Systems:
    • ARCH 3314 Environmental Technology III: Natural & Artificial Lighting, Electrical Systems & Vertical Circulation:
    • ARCH 39X1-39X4* Special Topics
    • ARCH 4013 Architecture Studio III
    • ARCH 4014 Architecture Studio IV
    • ARCH 4114 Architecture Cultures IV: 1945-Current
    • ARCH 4224 Environmental Technology IV: Codes and Technical Documentation
    • ARCH 4411 Design Cost Control
    • ARCH 49X1-49X4* Directed Study
    • ARCH 5313 Professional Practice and Ethics
    • ARCH 5593 Thesis Prep/Research
    • ARCH 5998F Focus Studio
    • ARCH 5999R: Thesis Research
    • ARCH 5999T Thesis Project
    • Arts Courses
    • Biochemistry Courses
    • Biology Courses
    • Business, Marketing and Finance Courses
    • Chemistry Courses
    • Civil and Construction Engineering Courses
    • Civil Engineering
    • Civil Engineering Technology Courses
    • Communication Courses
    • Computer Game Design and Development (CGDD) Courses
    • Computer Science (CS) Courses
      • CS 2123 C Programming
      • CS 2223 Digital Design
      • CS 3123 Programming Language Concepts
      • CS 3153 Database Systems
      • CS 3223 Computer Architecture
      • CS 3224 Computer Organization & Architecture
      • CS 3243 Operating Systems
      • CS 3424 Data Structures
      • CS 3693 Applications Programming
      • CS 3901-3904 Special Topics
      • CS 4133 Programming PDA's
      • CS 4243 Systems Programming
      • CS 4253 Distributed Computing
      • CS 4263 Computer Networks
      • CS 4283 Real-Time Systems
      • CS 4363 Computer Graphics and Multimedia
      • CS 4413 Algorithm Analysis
      • CS 4423 Logical Foundations of Computer Science
      • CS 4523 Artificial Intelligence
      • CS 4533 Digital Image Processing
      • CS 4543 Neural Computation
      • CS 4553 Expert Systems
      • CS 4893 Computer Science Capstone
      • CS 4901-4904 Special Topics
    • Computing & Software Engineering (CSE) Courses
    • Construction Course Descriptions
    • Design Foundation
    • Economics Courses
    • Electrical and Computer Engineering Technology Courses
    • Electrical Engineering Courses
    • Engineering Courses
    • Engineering Design Graphics Courses
    • English Courses
    • Environmental Science Courses
    • ENV 2100K Introduction to Environmental Science
    • ENV 2200K Geology
    • ENV 3000 Environmental Science Seminar
    • ENV 3150K Environmental Toxicology
    • ENV 3250 Natural Resource Management
    • ENV 3350 Oceanography
    • ENV 3450 Conservation Biology
    • ENV 4000K Wetlands and Mitigation
    • ENV 4120 Senior Project
    • ENV 4500 Environmental Science Internship
    • Ethnic Studies Courses
    • Fashion Design (Apparel and Textiles) Courses
    • French Courses
    • Geography Courses
    • German Courses
    • History Courses
    • HNRS (Honors) Courses
    • Industrial Engineering Technology
    • Information Technology Courses
    • International Studies Courses
    • Materials Science Courses
    • Mathematics Courses
    • Mechanical Engineering
    • Mechanical Engineering Technology
    • Mechatronics Engineering Courses
    • Modern Foreign Languages
    • New Topic (12)
    • Physics Courses
    • Political Science Courses
    • Professional Program: Architecture
    • Psychology Courses
    • Regents' Remedial Courses
    • Religion Course
    • Science, Technology, Society Courses
    • Sociology
    • Software Engineering Courses
    • Spanish Courses
    • Surveying and Mapping Courses
    • Systems Engineering Course Descriptions
    • Technical Communication Courses
• Faculty

Catalog Links

• Catalog Home