Loading...
Advanced Search
Welcome Guest
RSS
RSS
Public Health
Computer Engineering
Agriculture
Environment
Legacy Lectures
Home
Authors
Public Health

Computer Engineering

Agriculture

Environment
Assist researchers in planning and analyzing their research efforts
Member Login
Log in or sign up for more personalized features
Please fill in your email.
Please fill in a valid email
Please fill in your password
sign up
Remember me
Forgot your password?
Home
»
Computer Engineering
»
Theory of Computation
»
Mathematical Logic and Formal Languages
» Grammars and Other Rewriting Systems (13) lectures
Order By: Newest 
Rating

View Count
CSC 480: Artificial Intelligence: Propositional and Predicate Logic
69 Slide(s),
1,729 Views, Added 13 years ago, in English
Classified as :
Computer Engineering
»
Theory of Computation
»
Analysis of Algorithms and Problem Complexity
Computer Engineering
»
Theory of Computation
»
Logic of Programs
»
Program Constructs
and 22 more...
Discrete II Theory of Computation
By Hughes, Charles E.
175 Slide(s),
938 Views, Added 14 years ago, in English
Classified as :
Computer Engineering
»
Theory of Computation
»
Mathematical Logic and Formal Languages
»
Grammars and Other Rewriting Systems
»
Decision problems
Computer Engineering
»
Theory of Computation
»
Mathematical Logic and Formal Languages
»
Grammars and Other Rewriting Systems
»
Grammar types
and 4 more...
CSE 3813 Introduction to Formal Languages and Automata
37 Slide(s),
1,189 Views, Added 14 years ago, in English
Classified as :
Computer Engineering
»
Theory of Computation
»
Mathematical Logic and Formal Languages
»
Grammars and Other Rewriting Systems
3b Semantics
56 Slide(s),
492 Views, Added 14 years ago, in English
Classified as :
Computer Engineering
»
Theory of Computation
»
Mathematical Logic and Formal Languages
»
Mathematical Logic
»
Lambda calculus and related systems
Computer Engineering
»
Theory of Computation
»
Mathematical Logic and Formal Languages
»
Mathematical Logic
»
Recursive function theory
and 2 more...
3b Semantics
56 Slide(s),
326 Views, Added 14 years ago, in English
Classified as :
Computer Engineering
»
Theory of Computation
»
Mathematical Logic and Formal Languages
»
Mathematical Logic
»
Lambda calculus and related systems
Computer Engineering
»
Theory of Computation
»
Mathematical Logic and Formal Languages
»
Mathematical Logic
»
Recursive function theory
and 2 more...
CmpE 104: Lesson 9
73 Slide(s),
228 Views, Added 14 years ago, in English
Classified as :
Computer Engineering
»
Artificial Intelligence
Computer Engineering
»
Theory of Computation
»
Mathematical Logic and Formal Languages
»
Mathematical Logic
and 1 more...
Previous
1
2
3
Next
Computer Engineering (57,730)
Artificial Intelligence (
2,759
)
Computer Applications (
321
)
Computer Graphics (
1,072
)
Computer Systems Organization (
441
)
Computing Environment (
712
)
Data (
11,409
)
Document and Text Processing (
193
)
Hardware (
11,191
)
Image Processing and Computer Vision (
2,524
)
Information Systems (
4,028
)
Mathematics of Computing (
393
)
Pattern Recognition (
1,110
)
Simulation and Modeling (
1,216
)
Software (
14,813
)
Symbolic and Algebraic Manipulation (
48
)
Theory of Computation (
391
)
Analysis of Algorithms and Problem Complexity (
47
)
Computation by Abstract Devices (
5
)
Logic of Programs (
15
)
Mathematical Logic and Formal Languages (
38
)
Formal Languages (
25
)
Grammars and Other Rewriting Systems (
13
)
Decision problems (
2
)
Grammar types (
5
)
Parsing (
5
)
Mathematical Logic (
9
)
Unclassified (
18,885
)
Based on the
ACM
Computing Classification System
Automatically Rated
Rated By Users
Your Feedback
Title:
Content:
You forgot to fill in your feedback
Thank You
Your feedback has been sent successfully
Register
Please
sign up
or login in Science Supercourse to enjoy all its facilities !
Please fill in your email.
Please fill in a valid email
Please fill in your password