Sciences formelles & physiques
IA — Modèles & Recherche
FRSyntax
Artificial Intelligence
34 min
★
★
★
★
☆
4/5
Logique Du Premier OrdreSyntaxeFormules
Catalogue de tuit
Notes de synthèse d'analyses vidéo, évaluées et condensées, en français et en anglais.
40 452 tuit
·
879 chaînes
·
42 domaines
·
Mise à jour : 29 août 2026
Agriculture & Alimentation
110
Archéologie
72
Arts & Architecture
1119
Astronomie & Cosmologie
3175
Automatique & Robotique
330
Biologie
1700
Chimie
299
Climat & Écologie
840
Développement Personnel
446
Droit & Justice
492
Économie & Finance
2747
Éducation
632
Énergie
1163
Exploration Spatiale
811
Géopolitique & Défense
469
Histoire
504
IA — Actualité & Applications
1311
IA — Modèles & Recherche
2916
IA & Société
713
Informatique & Cybersécurité
3069
Ingénierie & Technologies
2862
Jeux Vidéo
742
Langues & Linguistique
264
Littérature & Récits
744
Loisirs & Pratique
185
Mathématiques
1928
Médecine & Santé
2547
Médias & Information
237
Neurosciences
387
Paléontologie
58
Philosophie & Éthique
713
Physique
2774
Politique & Institutions
540
Prospective & Science-Fiction
328
Psychologie
445
Religion & Croyances
196
Sciences — Généralités & Histoire
1293
Sciences De La Terre & Géographie
222
Société & Culture
813
Sports
69
Transports & Mobilité
120
Urbanisme & Mobilité
67
JNK
Administration et organisation de l’éducation
20
JPP
Administration publique
25
KJ
Affaires et gestion
31
VSPM
Affirmation de soi, motivation, estime de soi et attitude mentale positive
162
PBF
Algèbre
236
UMB
Algorithmes et structures des données
50
PBV
Analyse combinatoire et théorie des graphes
49
PBKD
Analyse complexe, variables complexes
45
PBKF
Analyse fonctionnelle et transformations
26
PBKS
Analyse numérique
30
PBKB
Analyse réelle, variables réelles
36
JBFU
Animaux et société
20
PDG
Applications industrielles de la recherche scientifique et innovation technologique
44
UYQM
Apprentissage par la machine
927
AMB
Architectes et cabinets d’architecture
23
AM
Architecture
29
UYF
Architecture informatique et conception logique
102
TTMW
Artillerie, technologie de l’armement
20
AGB
Artistes, monographies d’art
27
CBW
Arts de l’écriture et techniques de rédaction
25
TTDS
Astronautique
943
WNX
Astronomie populaire et espace
700
PGC
Astronomie théorique et mathématique
47
PG
Astronomie, espace et temps
831
PHVB
Astrophysique
100
TJFM
Automatique
69
KFFK
Banque
20
PSB
Biochimie
294
RNCB
Biodiversité
29
PSAD
Bioéthique
29
DNBL
Biographie : auteurs
37
DNBH
Biographie : historique, politique et militaire
77
DNBR
Biographie : royauté
24
DNBT
Biographie : science, technologie et médecine
55
PSF
Biologie cellulaire (cytologie)
110
PSAX
Biologie computationnelle
76
PSC
Biologie liée au développement
36
PSD
Biologie moléculaire
156
PSTB
Biologie végétale
22
PHVN
Biophysique
24
TCB
Biotechnologie
53
PBKA
Calcul
37
PBKJ
Calcul différentiel et équations
80
PBK
Calcul et analyse mathématique
55
RNR
Catastrophe naturelle
21
RNPG
Changement climatique
152
PNRL
Chimie nucléaire, photochimie et radiation
26
PNN
Chimie organique
63
PNR
Chimie physique
65
MJCL2
Chimiothérapie
26
RBPC
Climatologie et modélisation du climat
24
UTC
Cloud computing
22
JMR
Cognition et psychologie cognitive
105
UGG
Conception de jeux vidéos
212
VSC
Conseils professionnels et pour atteindre le succès
46
LNDX
Constitution
31
TNK
Construction et matériaux de construction
20
PGK
Cosmologie et univers
870
KCX
Crises et désastres économiques et financières
28
GTS
Décolonisation du savoir
34
JBCT5
Désinformation et mésinformation
64
KCM
Développement économique et économies émergentes
55
UMK
Développement et programmation de jeux
36
MBNH3
Diététique et nutrition
22
WNA
Dinosaures et monde préhistorique : généralités
36
JPSD
Diplomatie
29
JPHL
Dirigeants politiques et leadership
36
DNS
Discours
35
TJFD
Dispositifs électroniques et matériels
175
ATFR
Documentaires
20
LNCR
Droit de l’énergie et des ressources naturelles
35
JPVH
Droits de l’homme, droits civils
36
RNU
Durabilité
45
PHDT
Dynamique et statique
74
KC
Economie
20
KCVG
Economie de l’environnement
85
KCF
Economie du travail, revenu
79
KCBM
Economie monétaire
71
KCVM
Economie numérique ou de l’Internet
30
KCP
Economie politique
96
JNDH
Education : examens et évaluations
30
JPHF
Elections et référendums
26
PHK
Electricité, électromagnétisme et magnétisme
234
TJFC
Electronique : circuits et composants
164
THR
Electrotechnique
52
MJG
Endocrinologie
21
THVW
Energie éolienne
22
THVH
Energie hydraulique
20
THVS
Energie solaire
148
THY
Energie, production d’énergie, distribution et stockage
300
JBF
Enjeux sociaux et éthiques
26
JKVF
Enquête et détection criminelles
25
JNU
Enseignement de sujets spécifiques
28
JNM
Enseignement supérieur
216
KJH
Entreprenariat
98
KJJ
Entreprises et environnement ; approches durables des entreprises
30
MBNS
Epidémiologie et statistiques médicales
108
JNV
Equipement et technologie pour l’éducation, enseignement assisté par ordinateur (EAO)
54
NHTS
Esclavage, personnes réduites en esclavage et abolition de l’esclavage
26
SXE
eSports
21
QDTQ
Ethique et philosophie morale
44
PSVP
Ethologie et comportement animal
25
GTK
Études cognitives
38
GTC
Études de communication
26
GTP
Études de développement
33
JBSF1
Études de genre : femmes et filles
69
JBCT
Études des médias
20
JBCT1
Études des médias : Internet, médias numériques et société
47
JBCT4
Études des médias : journalisme
75
GTZ
Études générales et connaissances générales
21
DSK
Études littéraires : auteurs de fictions, nouvelles et prose
62
DSC
Études littéraires : poésie et poètes
42
ATD
études théâtrales
21
PSAJ
Evolution
80
DSRC
Explication de textes littéraires, critiques de livres et guides
24
TTDX
Exploration spatiale
502
MBNH2
Facteurs environnementaux
49
ATFN
Film : styles et genres
319
KCLT
Finance et commerce international
42
KFF
Finance et secteur financier
32
KFFD
Finance publique et fiscalité
40
KFFS
Finance verte
51
PDK
Financement et politique des sciences
64
VSB
Finances personnelles
28
URH
Fraude et piratage informatique
217
PGM
Galaxie et étoiles
286
PSAK
Génétique (non médicale)
592
MFN
Génétique médicale
154
TCBG
Génie génétique
47
UMZ
Génie logiciel
60
THK
Génie nucléaire
172
RBGF
Géologie historique et la paléogéologie
34
PBMW
Géométrie algébrique
154
PBMP
Géométrie différentielle et riemannienne
34
PBMH
Géométrie euclidienne
41
PHVG
Géophysique
32
JPSL
Géopolitique
256
THVG
Géothermie
33
KJMB
Gestion : direction et motivation
34
KJMV3
Gestion de l’informatique et des systèmes d’information
34
UT
Gestion de réseaux informatiques et des communications
22
KJMV7
Gestion des ventes et marketing
36
KJMV2
Gestion du personnel et des ressources humaines
23
PHDV
Gravité
24
JPWG
Groupes de pression, mouvements de protestation et actions non violentes
25
PBG
Groupes et théorie des groupes
102
JWD
Guerre de l’information
25
ATFG
Guides et critiques de film
87
JBFM
Handicap : aspects sociaux
21
MJF
Hématologie
20
MJJ
Hépatologie
40
NHT
Histoire : événements et thèmes spécifiques
20
NHD
Histoire de l’Europe
21
UBB
Histoire de l’informatique, du numérique et des technologies de l’information
41
TBX
Histoire de l’ingénierie et des technologies
20
NHK
Histoire des Amériques
42
PBX
Histoire des mathématiques
25
PDX
Histoire des sciences
106
NHTB
Histoire sociale et culturelle
43
ATFA
Histoire, théorie ou critique cinématographique
24
NHAH
Historiographie
30
MKS
Imagerie médicale
20
MJCM
Immunologie
75
PDR
Impact de la science et de la technologie sur la société
94
RNT
Impact social des questions environnementales
41
KNTV
Industrie des jeux informatiques et vidéo
162
KNB
Industries de l’énergie et de service public
187
KNBL
Industries de la production et distribution de l’électricité
245
KNTX
Industries de technologie de l’information
132
KNBT
Industries des énergies alternatives et renouvelables
117
KNBP
Industries du pétrole et du gaz
79
PBTB
Inférence bayésienne
30
UY
Informatique
44
MBF
Informatique médicale et de santé
55
UYX
Informatique naturelle
722
UYA
Informatique théorique
185
TGMD
Ingénierie : mécanique des solides
24
MQW
Ingénierie biomédicale
21
KJD
Innovation dans les affaires
22
GTV
Institutions et sociétés savantes : généralités
31
JPSN
Institutions internationales
23
UYQ
Intelligence artificielle (IA)
1311
UYQD
Intelligence artificielle générale (IAG)
31
UYQF
Intelligence artificielle générative
1371
ATN
Internet et médias numériques : art et pratiques
49
DNPB
Interviews
31
KFFM
Investissement et titres
107
UDX
Jeux informatiques
498
JPZ
La corruption dans la politique, le gouvernement et la société
26
MBGL
Laboratoire médical et techniques
20
UYQL
Langage naturel et traduction automatique
111
DSM
Littérature comparée
23
JBFD
Logement et itinérance
20
UFL
Logiciel d’entreprise
45
PBCD
Logique des mathématiques
99
KCB
Macroéconomie
21
MKJD
Maladie d’Alzheimer, démence, maladie de Parkinson et autres maladies neurodégénératives
61
MJCJ
Maladies infectieuses et contagieuses
50
PB
Mathématiques
75
PDZM
Mathématiques populaires et récréatives
68
MFKH3
Maturité et vieillissement
59
PHD
Mécanique classique
188
PHDB
Mécanique élémentaire
33
PHDS
Mécanique ondulatoire (vibration et acoustique)
34
MJD
Médecine cardiovasculaire
25
MKCM
Médecine materno-fœtale
34
MKR
Médecine nucléaire
66
MKB
Médecine palliative
32
RBPM
Météorologie
22
GPS
Méthodes de recherche
93
PSG
Microbiologie (non médicale)
49
PBWH
Modèles mathématiques
51
UYM
Modélisation et simulation informatiques
21
TBN
Nanotechnologie
25
MKJ
Neurologie et neurophysiologie clinique
53
PSAN
Neurosciences
106
PSAN5
Neurosciences cognitives et comportementales
225
PGG
Observation astronomique : observatoires, équipements et méthodes
101
RBKC
Océanographie (mers et océans)
40
MJCL
Oncologie
113
PBU
Optimisation
28
TTB
Optique appliquée
27
PHJ
Optique physique
136
JNR
Orientation professionnelle
30
RBX
Paléontologie
58
RNA
Pensée et idéologie écologistes
76
MKG
Pharmacologie
45
QD
Philosophie
28
QDTK
Philosophie : épistémologie et théorie de la connaissance
107
QDTL
Philosophie : logique
47
QDTJ
Philosophie : métaphysique et ontologie
38
QDHA
Philosophie ancienne grecque et romaine
37
QDHC
Philosophie de l’Asie de l’Est et de l’Inde
26
QDTM
Philosophie de l’esprit
63
PBB
Philosophie des mathématiques
29
PDA
Philosophie des sciences
136
QDXB
Philosophie populaire : Sens de la vie
22
QDTS
Philosophie sociale et politique
56
MFG
Physiologie
48
MFGG
Physiologie régionale
23
PH
Physique
147
PHDF
Physique : mécanique des fluides
38
PHM
Physique atomique et moléculaire
67
PHFC
Physique de la matière condensée (physique de l’état liquide et de l’état solide)
109
PHR
Physique de la relativité
273
PHJL
Physique des lasers
42
PHP
Physique des particules et des hautes énergies
102
PHFP
Physique des plasmas
22
PHU
Physique mathématique
129
PHN
Physique nucléaire
96
PHQ
Physique quantique (mécanique quantique et théorie quantique des champs)
703
PHS
Physique statistique
47
RPC
Planification et politique urbaines et municipales
46
RND
Politique environnementale et protocoles
193
JP
Politique et gouvernement
51
JPQB
Politiques du gouvernement central
41
RNP
Pollution et menaces pour l’environnement
30
PSXE
Premiers hommes
43
JBFZ
Prévisions sociales, études sur le futur
20
PBT
Probabilité et statistiques
211
TGP
Productique et génie industriel
34
GPJ
Programmation et cryptologie
36
UMX
Programmation et langage de script : généralités
88
UMW
Programmation Web
48
URD
Protection de la vie privée et des données
25
JM
Psychologie
52
JMQ
Psychologie : émotions
22
JMT
Psychologie : états de conscience
31
JNC
Psychologie de l’éducation
24
JMM
Psychologie physiologique, neuropsychologie, biopsychologie
23
VSP
Psychologie populaire
66
JMH
Psychologie sociale, de groupe ou collective
43
MKGW
Psychopharmacologie
35
RNQ
Questions nucléaires
26
JBFA1
Racisme et discrimination raciale
23
ATFB
Réalisateurs et producteurs de films
26
MBGR
Recherche médicale
42
PDM
Recherche scientifique
45
GTU
Recherche sur la paix et la résolution de conflits
34
JPS
Relations internationales
21
QRAM3
Religion et science
24
THYC
Rendement énergétique
53
DNP
Reportage, le journalisme d’investigation ou les chroniques
65
UYQN
Réseaux neuronaux et systèmes flous
340
RNFY
Ressources énergétiques
52
TJFM1
Robotique
261
VFMD
Santé : régimes et nutrition
20
MBN
Santé publique et médecine préventive
57
UFLS
SAP (« Systems, applications & products in databases »)
20
TGM
Science des matériaux
45
PSAF
Science écologique, biosphère
27
GPH
Science et analyse de données
33
PDZ
Science populaire
286
FLU
Science-fiction : aliens
73
FLW
Science-fiction : exploration spatiale
194
FLS
Science-fiction : space opéra
33
PD
Sciences : généralités
50
TTD
Sciences de l’espace
274
JPA
Sciences politiques et théorie
20
RNFD
Sécheresse et approvisionnement en eau
20
NHWR7
Seconde Guerre mondiale
37
RNFF
Sécurité alimentaire et approvisionnement
28
UR
Sécurité informatique
598
UTN
Sécurité réseau
43
CFG
Sémantique, analyse du discours, stylistique
28
NKDS
Sites archéologiques
23
CFB
Sociolinguistique
33
THV
Sources d’énergie alternative et renouvelable et technologie
131
PBWL
Stochastique
43
KJC
Stratégie d’affaires
24
JWK
Stratégie militaire et de défense
33
JPHV
Structures
41
PGS
Système solaire : soleil et planètes
288
MBP
Systèmes et services de santé
35
UYQE
Systèmes experts
25
PSAN4
Systèmes sensoriels et moteurs
20
UMA
Techniques de programmation
25
THYB
Technologie de batterie
133
TRP
Technologie de l’aérospatiale et de l’aéronautique
793
TJK
Technologie des communications
28
KFFF
Technologie financière (fintech)
29
THD
Technologies de l’hydrogène
50
UBJ
Technologies numériques et de l’information : aspects sociaux et éthiques
707
ATJ
Télévision
35
ATJS
Télévisions : styles et genres
20
PGZ
Temps (chronologie), systèmes et normes de temps
40
ABA
Théorie de l’art
20
PBH
Théorie des nombres
181
KCA
Théorie et philosophie économique
34
DSA
théorie littéraire
22
JMA
Théorie psychologique, systèmes, écoles et points de vue
20
JBGX
Théories du complot
45
MKZV
Thérapie génique
36
PHH
Thermodynamique et chaleur
25
PBP
Topologie
21
PBPD
Topologie algébrique
42
TJKH
Traitement du signal
27
UYFP
Traitement parallèle
24
AMVD
Urbanisme et aménagement du territoire : aspects architecturaux
27
MBNK
Vaccination
27
TRV
Véhicules électriques
41
KJS
Ventes et marketing
35
URJ
Virus informatiques, chevaux de Troie et vers
24
UYQV
Vision assistée par ordinateur
101
RBC
Volcanologie et sismologie
24
Syntax
★
★
★
★
☆
4/5
Skolemization
★
★
★
★
☆
4/5
Semantics
★
★
★
★
☆
4/5
Rete Algorithm - Example
★
★
★
★
☆
4/5
Propositional Logic: The Tableau Method
★
★
★
★
☆
4/5
Propositional Logic: Syntax and Truth Values
★
★
★
★
☆
4/5
Properties and Categories
★
★
★
★
☆
4/5
Programming in a Rule Based Language
★
★
★
★
☆
4/5
Forward Chaining Rule Based Systems
★
★
★
★
☆
4/5
Forward Chaining
★
★
★
★
☆
4/5
Entailment and Models
★
★
★
★
☆
4/5
An Introduction to Formal Logics
★
★
★
★
☆
4/5
Lecture 9 - Analyzing Genes and Genomes
★
★
★
★
☆
4/5
Lecture 8 - Control of Gene Expression - Part 2
★
★
★
★
☆
4/5
Lecture 3 - DNA Replication (Chapter 6, Part 1)
★
★
★
★
☆
4/5
Lecture 20 - Cancer
★
★
★
★
☆
4/5
Lecture 2 - DNA and Chromosomes, Part 2
★
★
★
★
☆
4/5
Lecture 19 - Cell Communities - Part 1 - Chapter 20
★
★
★
★
☆
4/5
Lecture 18 - Cell Communication
★
★
★
★
☆
4/5
Lecture 17 - The Cell Cycle
★
★
★
★
☆
4/5
Lecture 16 - Cytoskeleton - Part 2 - Chapter 17
★
★
★
★
☆
4/5
Lecture 15 - Cytoskeleton - Part 1 - Chapter 17
★
★
★
★
☆
4/5
Lecture 12 - Membrane Transport (Chapter 12)
★
★
★
★
☆
4/5
Lecture 11 - Membrane Structure - Chapter 11
★
★
★
★
☆
4/5
Lecture 10 - Intro to Cells
★
★
★
★
☆
4/5
Lecture 1 - DNA and Chromosomes, Part 1
★
★
★
★
☆
4/5
Lecture 9 - Linkage, Recombination and Mapping
★
★
★
★
☆
4/5