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