Sign in Sign up

Computer Science Courses

953 Courses

course image
California Institute of Technology YouTube

Solvers, Unite! A Simple Unified Semantics for Reasoning with Assurance and Agreement

Explore a unified semantics for complex reasoning problems with logic rules, recursion, and aggregation, showing how different solver classes can be combined for enhanced problem-solving capabilities.
provider YouTube
pricing Free Video
duration 58 minutes
sessions On-Demand
course image
California Institute of Technology YouTube

Automated Playing of Survival Video Games with Commonsense Reasoning

Explore how answer set programming and commonsense reasoning can automate gameplay in the survival game Don't Starve, creating an agent that outperforms novice players through environmental learning and logical decision-making.
provider YouTube
pricing Free Video
duration 22 minutes
sessions On-Demand
course image
California Institute of Technology YouTube

A Weighted Bipolar Argumentation Framework and its ASP-based Implementation

Explore a novel Weighted Bipolar Argumentation Framework (WBAF) that handles attack and support relations with argument weights, and learn about its ASP-based implementation tool for generating minimum-penalty preferred extensions.
provider YouTube
pricing Free Video
duration 23 minutes
sessions On-Demand
course image
California Institute of Technology YouTube

Finding Good Programs by Avoiding Bad Ones

Explore techniques for proving unrealizability in program synthesis and how this concept bridges formal methods with LLM-based code generation, shaping the future of AI-assisted programming.
provider YouTube
pricing Free Video
duration 1 hour 4 minutes
sessions On-Demand
course image
California Institute of Technology YouTube

Solvers, Unite! A Simple Unified Semantics for Reasoning with Assurance and Agreement

Explore a unified semantics for complex reasoning problems with logic rules, recursion, and aggregation, bridging different solver classes for assured and agreed-upon solutions.
provider YouTube
pricing Free Video
duration 58 minutes
sessions On-Demand
course image
California Institute of Technology YouTube

VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search

Explore VerMCTS, a novel approach combining verifiers, LLMs, and Monte Carlo Tree Search to generate verified programs in Dafny and Coq, showing significant improvements over base language models.
provider YouTube
pricing Free Video
duration 21 minutes
sessions On-Demand
course image
California Institute of Technology YouTube

Reality Check: AI Won't Magically Save Us

Uncover why artificial intelligence isn't a magical solution to humanity's problems and what realistic expectations we should have about AI's capabilities and limitations.
provider YouTube
pricing Free Video
duration 11 minutes
sessions On-Demand
course image
California Institute of Technology YouTube

Experimenting with Foundation Models: Accessible Ways to Learn About LLMs and AI

Discover affordable ways to experiment with Foundation Models and LLMs using Amazon Bedrock and Python. Learn practical AI skills through demos and tutorials with AWS Hero Faye Ellis, plus insights on in-demand AI skills for 2025.
provider YouTube
pricing Free Video
duration 49 minutes
sessions On-Demand
course image
California Institute of Technology YouTube

Trustworthy and Continually Adaptable Multimodal AI Systems

Explore the development of trustworthy multimodal AI systems that can adapt continuously, presented by Jaehong Yoon from UNC Chapel Hill.
provider YouTube
pricing Free Video
duration 1 hour 20 minutes
sessions On-Demand
course image
California Institute of Technology YouTube

Building Adaptive and Resilient AI

Explore adaptive and resilient AI systems with Zhenyi Wang from University of Maryland, examining cutting-edge approaches to building more robust artificial intelligence.
provider YouTube
pricing Free Video
duration 55 minutes
sessions On-Demand

What kind of career can you pursue with a Computer Science degree?

Computer Science, or CS, is the science of the methods and processes of collecting, storing, processing, transmitting, analysing and evaluating information using computer technology to enable its application to decision-making.

Introduction to Computer Science AI

There are similar fields, such as data science or software engineering. Some of them can be considered part of Computer Science, but there is still a difference in terms: Computer Science is a broader concept. They study computer technology and information representation as a whole, rather than separate areas such as development. To understand Computer Science in depth, you need a good mathematical apparatus. Unlike many IT applications, this field is strongly related to maths. Computer Science can be studied in higher education institutions in technical specialities dedicated to information technology. But you can also master them on your own with computer science artificial intelligence courses.

Learning Outcomes and Skills

Computer Science is very broad, so we cannot give a complete list of the fields it includes. Let us give examples of theoretical and practical disciplines related to it at computer science ai courses.

Mathematics

Mathematical analysis, linear algebra and other disciplines are also important, but the discipline with the greatest connection to computer science is discrete mathematics. It studies "discontinuous", finite, that is, discrete structures. There are a huge number of algorithms based on this maths, which are used in various branches of IT. Discrete mathematics includes graph theory, finite automata, combinatorics and many other areas.

Theoretical Computer Science

This is the fundamental science that deals with information: how it is represented, stored, and transmitted. Theoretical computer science works with abstract concepts and theories. The term "fundamental" means that this science does not involve creating something in practice: it may describe a new approach to storing information, but not realise a machine that stores it that way. To theoretical computer science we can refer information theory and coding theory - the latter is devoted to the transformation of information into codes. The study of algorithms and the structure of programming languages also belongs to this area.

Programming languages

Computer science is not the same as programming, although the spheres are related. CS studies not so much the peculiarities of languages and the ability to apply them, but their internal structure in general. It is how programming languages are arranged, what their structure is, how they are implemented and what they are based on. Designing programming languages, their classification, analyses belong to computer science.

Career Opportunities and Enrollment Details

If you have studied at an artificial intelligence course for computer science, you will have learnt many technical and non-technical skills that are highly valued by employers, from leadership to programming. The increasing use of computer science means you have a wide range of choices in a wide range of highly specialised fields. With computer technology playing an ever-increasing role in all aspects of modern life, you are likely to find your computing skills in demand in many different industries. These include: financial organisations, management consulting firms, software development firms, communications companies, data warehouses, multinational companies (IT related, financial services and others), government agencies, universities and hospitals. However, it is not surprising that most graduates of the computer science with ai course hold positions in the computer industry!