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 (38) lectures
Order By: Newest 
Rating

View Count
CSC 480: Artificial Intelligence: Propositional and Predicate Logic
69 Slide(s),
1,482 Views, Added 10 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...
CS422 Enterprise Computing Preview
58 Slide(s),
1,073 Views, Added 10 years ago, in English
Classified as :
Computer Engineering
»
Software
»
Programming Techniques
»
Logic Programming
Computer Engineering
»
Software
»
Software Engineering
»
Programming Environments
»
Integrated environments
and 8 more...
CS162 Operating Systems and Systems Programming : Tips for Working in a Project Team/ Cooperating Processes and Deadlock
By Stoica, Ion
35 Slide(s),
1,880 Views, Added 10 years ago, in English
Classified as :
Computer Engineering
»
Hardware
»
Arithmetic and Logic Structures
»
HighSpeed Arithmetic
»
Algorithms
Computer Engineering
»
Hardware
»
Arithmetic and Logic Structures
»
HighSpeed Arithmetic
»
Cost/performance
and 19 more...
Discrete II Theory of Computation
By Hughes, Charles E.
175 Slide(s),
772 Views, Added 11 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,131 Views, Added 11 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),
427 Views, Added 11 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...
Previous
1
2
3
4
5
........
7
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
)
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