Tree for 234293

max prerequitise depth: 2
max prerequisite-to depth: 2
mark by (*) if 234293 is a necessary prerequisite: yes

Data for 234293:
Prerequisite tree:

234293 (UG) - LOGIC AND SET THEORY FOR CS
234114 (UG) - INTRODUCTION TO COMPUTER SCIENCE
234145 (UG) - DIGITAL SYSTEMS
or
044145 (UG) - DIGITAL SYSTEMS
234114 (UG) - INTRODUCTION TO COMPUTER SCIENCE

Prerequisite-to tree:

234293 (UG) - LOGIC AND SET THEORY FOR CS (*)
236697 (UG) - INTRODUCTION TO LAMBDA
236714 (UG) - SELECT.TOPICS IN AUTOMAT.THEOREM PROVING (*)
236752 (UG) - INTRO. TO CONTROL OF DISCRETE-EVENT SYST
236501 (UG) - INTRODUCTION TO ARTIFICIAL INTELLIGENCE
236754 (UG) - PROJECT IN INTELLIGENT SYSTEMS
236756 (UG) - INTRODUCTION TO MACHINE LEARNING
236502 (UG) - PROJECT IN ARTIFICIAL INTELLIGENCE
097210 (UG) - DISTRIBUTED ARTIFICIAL INTELLIGENCE
234304 (UG) - PROJECT IN ARTIFICIAL INTELLIGENCE U
236372 (UG) - BAYESIAN NETWORKS
236512 (UG) - PROJECT IN ADVANCED PROGRAMMING B
236519 (UG) - FOUNDATIONS OF LOGIC PROGRAMMING
096228 (UG) - CONSTRAINT SYSTEMS (*)
236298 (UG) - COMPUTATIONAL SEMANTICS (*)
236304 (UG) - LOGIC FOR COMPUTER SCIENCE 2
236331 (UG) - COMPUTABILITY AND DEFINABILITY
236342 (UG) - INTRODUCTION TO SOFTWARE VERIFICATION
236701 (UG) - PROGRAM CORRECTNESS
236345 (UG) - AUTOMATIC VERIFICATION OF HARDWARE
236346 (UG) - PROJECT IN COMPUTER-AIDED VERIFICATION
236344 (UG) - FOUNDATIONS OF ANALYSIS FOR COMPUTER
236353 (UG) - AUTOMATA AND FORMAL LANGUAGES
236752 (UG) - INTRO. TO CONTROL OF DISCRETE-EVENT SYST
236512 (UG) - PROJECT IN ADVANCED PROGRAMMING B
236299 (UG) - INTR. TO NATURAL LANGUAGE PROCESSING
236302 (UG) - NATURAL LANGUAGE PROCESSING B
236310 (UG) - FORMAL LANGUAGE THEORY
236360 (UG) - THEORY OF COMPILATION
236362 (UG) - UNIFICATION-BASED GRAMMAR FORMALISMS
236368 (UG) - FORMAL SPECIFICATION OF COMPLEX SYSTEMS
236363 (UG) - DATABASE SYSTEMS
236510 (UG) - DATABASE MANAGEMENT SYS. IMPLEMENTATIONS
096209 (UG) - MANAGING WEB DATA
096220 (UG) - DATABASE ENGINEERING
096225 (UG) - DISTRIBUTED DATABASE SYSTEMS
236323 (UG) - PROJECT IN DATA PROCESSING
236356 (UG) - INTRODUCTION TO DATABASE THEORY
234301 (UG) - PROJECT IN DATA PROCESSING U
094287 (UG) - SELECTED TOPICS IN INFORMATION SYSTEMS
236367 (UG) - INTRODUCTION TO TYPE-LOGICAL (*)
236368 (UG) - FORMAL SPECIFICATION OF COMPLEX SYSTEMS

Prerequisite tree (with linked courses):

Legend

Hint: Click a node to expand its tree (run query with same parameters as original).



Prerequisite-to tree (without linked courses):

Legend

Hint: Click a node to expand its tree (run query with same parameters as original).