Sign in Sign up

Cours d'informatique

910 Cours

course image
California Institute of Technology YouTube

Trouver de bons programmes en évitant les mauvais.

Explorez des techniques pour démontrer l'irréalisabilité dans la synthèse de programmes et comment ce concept fait le lien entre les méthodes formelles et la génération de code basée sur les modèles de langage, façonnant l'avenir de la programmation assistée par l'IA.
provider YouTube
pricing Free Video
duration 1 hour 4 minutes
sessions On-Demand
course image
California Institute of Technology YouTube

Solveurs, unissez-vous ! Une sémantique unifiée simple pour le raisonnement avec assurance et accord.

Explorez une sémantique unifiée pour des problèmes de raisonnement complexes avec des règles logiques, de la récursivité et de l'agrégation, en établissant un lien entre différentes classes de solveurs pour obtenir des solutions assurées et consensuelles.
provider YouTube
pricing Free Video
duration 58 minutes
sessions On-Demand
course image
California Institute of Technology YouTube

VerMCTS : Synthèse de programmes multi-étapes utilisant un vérificateur, un grand modèle de langage et une recherche arborescente

Explorez VerMCTS, une approche novatrice combinant des vérificateurs, des LLMs et la recherche d'arbre de Monte Carlo pour générer des programmes vérifiés en Dafny et Coq, montrant des améliorations significatives par rapport aux modèles de langage de base.
provider YouTube
pricing Free Video
duration 21 minutes
sessions On-Demand
course image
California Institute of Technology YouTube

Réalité : l'IA ne nous sauvera pas magiquement

Découvrez pourquoi l'intelligence artificielle n'est pas une solution magique aux problèmes de l'humanité et quelles attentes réalistes nous devrions avoir concernant les capacités et les limites de l'IA.
provider YouTube
pricing Free Video
duration 11 minutes
sessions On-Demand
course image
California Institute of Technology YouTube

Expérimenter avec les modèles de base : des moyens accessibles pour en apprendre sur les LLM et l'IA

Découvrez des moyens abordables d'expérimenter avec les modèles fondamentaux et les LLMs en utilisant Amazon Bedrock et Python. Acquérez des compétences pratiques en IA à travers des démonstrations et des tutoriels avec l'experte AWS Faye Ellis, ainsi que des aperçus sur les compétences en IA demandées pour 2025.
provider YouTube
pricing Free Video
duration 49 minutes
sessions On-Demand
course image
California Institute of Technology YouTube

Systèmes d'IA multimoal fiables et continuellement adaptables

Explorez le développement de systèmes d'IA multimodaux fiables pouvant s'adapter de manière continue, présenté par Jaehong Yoon de l'Université de Caroline du Nord à Chapel Hill.
provider YouTube
pricing Free Video
duration 1 hour 20 minutes
sessions On-Demand
course image
California Institute of Technology YouTube

Construire une IA adaptative et résiliente

Explorez les systèmes d'IA adaptatifs et résilients avec Zhenyi Wang de l'Université du Maryland, en examinant des approches de pointe pour construire une intelligence artificielle plus robuste.
provider YouTube
pricing Free Video
duration 55 minutes
sessions On-Demand
course image
California Institute of Technology YouTube

Topologie des graphes pour sécuriser les agents d'IA de Wall Street et les systèmes multi-agents

Explorez comment la topologie des graphes peut sécuriser les agents d'IA sur les marchés financiers, défendre contre les attaques malveillantes et protéger les systèmes multi-agents grâce à des cadres de sécurité guidés par la topologie.
provider YouTube
pricing Free Video
duration 27 minutes
sessions On-Demand
course image
California Institute of Technology YouTube

Sur les agents génératifs dans la recommandation

Explorez l'article de recherche sur les agents génératifs dans les systèmes de recommandation, en examinant leurs applications potentielles et leurs implications pour la livraison de contenu personnalisé.
provider YouTube
pricing Free Video
duration 20 minutes
sessions On-Demand
course image
California Institute of Technology Coursera

GenAI pour l'apprentissage et le développement

Découvrez comment intégrer l'IA générative dans les programmes de formation et de développement (L&D) grâce à des outils et des stratégies pratiques pour augmenter l'efficacité de jusqu'à 40 %, améliorer la qualité des résultats et transformer les initiatives de formation tout en assurant une mise en œuvre éthique.
provider Coursera
pricing Paid Course
duration 3 hours 57 minutes
sessions On-Demand

Quel type de carrière pouvez-vous poursuivre avec un diplôme en informatique ?

L'informatique, ou CS, est la science des méthodes et des processus de collecte, de stockage, de traitement, de transmission, d'analyse et d'évaluation de l'information à l'aide de la technologie informatique pour permettre son application à la prise de décision.

Introduction à l'intelligence artificielle en informatique

Il existe des domaines similaires, comme la science des données ou le génie logiciel. Certains d'entre eux peuvent être considérés comme faisant partie de l'informatique, mais il y a encore une différence de termes : l'informatique est un concept plus large. Ils étudient la technologie informatique et la représentation de l'information dans son ensemble, plutôt que des domaines séparés tels que le développement. Pour comprendre l'informatique en profondeur, vous avez besoin d'un bon appareil mathématique. Contrairement à de nombreuses applications informatiques, ce domaine est fortement lié aux mathématiques. On peut étudier l'informatique dans les établissements d'enseignement supérieur dans des spécialités techniques dédiées à la technologie de l'information. Mais vous pouvez aussi les maîtriser par vous-même avec des cours d'intelligence artificielle en informatique.

Résultats d'apprentissage et compétences

L'informatique est très vaste, il est donc impossible de donner une liste complète des domaines qu'elle comprend. Donnons des exemples de disciplines théoriques et pratiques liées à celle-ci dans les cours d'IA en informatique.

Mathématiques

L'analyse mathématique, l'algèbre linéaire et d'autres disciplines sont également importantes, mais la discipline qui a le plus de liens avec l'informatique est les mathématiques discrètes. Elle étudie les structures "discontinues", finies, c'est-à-dire discrètes. Il existe un grand nombre d'algorithmes basés sur ces mathématiques, qui sont utilisés dans diverses branches de l'informatique. Des mathématiques discrètes font partie la théorie des graphiques, les automatismes finie, la combinatoire et de nombreux autres domaines.

Informatique théorique

Il s'agit de la science fondamentale qui traite de l'information : comment elle est représentée, stockée et transmise. L'informatique théorique travaille avec des concepts et des théories abstraits. Le terme "fondamental" signifie que cette science n'implique pas la création de quelque chose dans la pratique : elle peut décrire une nouvelle approche de stockage de l'information, mais pas réaliser une machine qui la stocke de cette manière. À l'informatique théorique, nous pouvons nous référer à la théorie de l'information et à la théorie du codage - cette dernière est consacrée à la transformation de l'information en codes. L'étude des algorithmes et la structure des langages de programmation appartiennent également à ce domaine.

Langages de programmation

L'informatique n'est pas la même chose que la programmation, bien que les sphères soient liées. L'informatique étudie moins les particularités des langues et la capacité de les appliquer, que leur structure interne en général. C'est ainsi que les langages de programmation sont arrangés, quelle est leur structure, comment ils sont implémentés et sur quoi ils sont basés. La conception des langages de programmation, leur classification, les analyses appartiennent à l'informatique.

Opportunités de carrière et détails d'inscription

Si vous avez étudié dans un cours d'intelligence artificielle pour l'informatique, vous aurez acquis de nombreuses compétences techniques et non techniques qui sont très appréciées par les employeurs, allant du leadership à la programmation. L'utilisation croissante de l'informatique signifie que vous avez un large éventail de choix dans une grande variété de domaines hautement spécialisés. Avec la technologie informatique jouant un rôle de plus en plus important dans tous les aspects de la vie moderne, il est probable que vos compétences en informatique seront demandées dans de nombreuses industries différentes. Celles-ci comprennent : les organisations financières, les cabinets de conseil en gestion, les entreprises de développement de logiciels, les entreprises de communication, les entrepôts de données, les multinationales (liées à l'IT, aux services financiers et autres), les agences gouvernementales, les universités et les hôpitaux. Cependant, il n'est pas surprenant que la plupart des diplômés du cours d'intelligence artificielle en informatique occupent des postes dans l'industrie informatique!