COURSE DETAIL
COURSE DETAIL
This course offers an introduction to logic in Computer Science and Engineering. Topics include: introduction to formal systems; representation and syntax in propositional calculus; proof theory in propositional calculus; representation and syntax in predicate logic; proof theory in predicate calculus; semantic theory for propositional and predicate calculi; resolution method; computational logic and applications.
COURSE DETAIL
This course discusses the software development process including software testing and issues with software quality. Other topics include: ethical and legal issues in the field of software engineering; agile software development techniques; test-driven development; refactoring and simple design. Previous coursework in programming and software engineering are required.
COURSE DETAIL
This course offers a study of web applications. Topics include: transport layer security (TLS); hypertext transfer protocol (HTTP); content presentation languages (HTML and CSS); client-side programming languages; model-view-controller pattern; security; scalability; advanced technologies.
COURSE DETAIL
This course introduces the theory of signal and linear systems; the concepts of modeling, description, and classification of signals and systems; and specific methods of signal processing.
COURSE DETAIL
3D graphics is concerned with how images can be generated from abstract descriptions of objects. Representations of three-dimensional geometry should be projected to a two-dimensional plane and by simulating the interaction between light and matter the object surfaces can be realistically shaded. With moving images, it is also necessary to control how objects move and change appearance over time. And when building interactive virtual worlds, objects must also be able to respond to external events.
COURSE DETAIL
COURSE DETAIL
COURSE DETAIL
COURSE DETAIL
Pagination
- Previous page
- Page 107
- Next page