FOL with Equality
★
★
★
★
☆
4/5
Tuit catalog
Synthesis notes of video analyses, assessed and condensed, in French and English.
39,396 tuit
·
875 channels
·
42 domains
·
Last update: Aug 27, 2026
Agriculture & Food
109
AI — Models & Research
2463
AI — News & Applications
1059
AI & Society
674
Archaeology
72
Arts & Architecture
1118
Astronomy & Cosmology
3165
Biology
1698
Chemistry
299
Climate & Ecology
838
Computing & Cybersecurity
3003
Control & Robotics
329
Earth Sciences & Geography
222
Economics & Finance
2700
Education
628
Energy
1161
Engineering & Technology
2855
Foresight & Science Fiction
328
Geopolitics & Defence
469
History
503
Hobbies & Practical
182
Language & Linguistics
264
Law & Justice
485
Literature & Writing
740
Mathematics
1842
Media & Information
235
Medicine & Health
2540
Neuroscience
386
Paleontology
58
Personal Development
437
Philosophy & Ethics
712
Physics
2757
Politics & Institutions
537
Psychology
443
Religion & Beliefs
196
Science — General & History
1281
Society & Culture
809
Space Exploration
810
Sports
68
Transport & Mobility
120
Urban Planning & Mobility
67
Video Games
734
VSC
Advice on careers and achieving success
46
TRP
Aerospace and aviation technology
792
PBF
Algebra
233
PBMW
Algebraic geometry
153
PBPD
Algebraic topology
42
UMB
Algorithms and data structures
50
KNBT
Alternative and renewable energy industries
117
THV
Alternative and renewable energy sources and technology
129
MKJD
Alzheimer’s, dementia, Parkinson’s disease and other neurodegenerative diseases
60
QDHA
Ancient Greek and Roman philosophy
37
JBFU
Animals and society
20
TTB
Applied optics
27
NKDS
Archaeological sites
23
AM
Architecture
29
UYQD
Artificial general intelligence (AGI)
29
UYQ
Artificial intelligence (AI)
1059
VSPM
Assertiveness, motivation, self-esteem and positive mental attitude
155
TTDS
Astronautics
941
PGG
Astronomical observation: observatories, equipment and methods
101
PG
Astronomy, space and time
828
PHVB
Astrophysics
100
PHM
Atomic and molecular physics
67
TJFM
Automatic control engineering
69
KFFK
Banking
20
THYB
Battery technology
133
PBTB
Bayesian inference
29
PSB
Biochemistry
294
RNCB
Biodiversity
29
PSAD
Bioethics
29
DNBH
Biography: historical, political and military
76
DNBR
Biography: royalty
24
DNBT
Biography: science, technology and medicine
55
DNBL
Biography: writers
37
MQW
Biomedical engineering
21
PHVN
Biophysics
24
TCB
Biotechnology
53
TNK
Building construction and materials
20
KJJ
Business and the environment; sustainable approaches to business
30
KJD
Business innovation
22
KJC
Business strategy
24
PBKA
Calculus
25
PBK
Calculus and mathematical analysis
29
MJD
Cardiovascular medicine
25
JNR
Careers guidance
30
PSF
Cellular biology (cytology)
110
JPQB
Central
41
MJCL2
Chemotherapy
26
AMVD
City and town planning: architectural aspects
27
PHD
Classical mechanics
188
RNPG
Climate change
151
RBPC
Climatology and climate modelling
24
UTC
Cloud computing
21
GPJ
Coding theory and cryptology
36
JMR
Cognition and cognitive psychology
105
PSAN5
Cognitive and behavioural neuroscience
225
GTK
Cognitive studies
38
PBV
Combinatorics and graph theory
48
GTC
Communication studies
26
TJK
Communications engineering
28
DSM
Comparative literature
23
PBKD
Complex analysis, complex variables
45
PSAX
Computational biology
76
KNTV
Computer and video game industry
162
UYF
Computer architecture and logic design
101
URH
Computer fraud and hacking
217
UDX
Computer games
492
UGG
Computer games design
211
UYM
Computer modelling and simulation
21
UT
Computer networking and communications
22
UY
Computer science
43
UR
Computer security
597
URJ
Computer viruses, Trojans and worms
24
UYQV
Computer vision
98
PHFC
Condensed matter physics (liquid state and solid state physics)
109
JBGX
Conspiracy theories
45
LNDX
Constitution
31
JPZ
Corruption in politics, government and society
26
PGK
Cosmology and the universe
866
JKVF
Criminal investigation and detection
25
GPH
Data science and analysis
33
GTS
Decolonisation of knowledge
34
KCM
Development economics and emerging economies
55
GTP
Development studies
33
PSC
Developmental biology
36
MBNH3
Dietetics and nutrition
22
PBMP
Differential and Riemannian geometry
32
PBKJ
Differential calculus and equations
71
UBJ
Digital and information technologies: social and ethical aspects
668
KCVM
Digital or internet economics
30
WNA
Dinosaurs and the prehistoric world: general interest
36
JPSD
Diplomacy
29
JBFM
Disability: social aspects
21
JBCT5
Disinformation and misinformation
63
ATFR
Documentary films
20
RNFD
Drought and water supply
20
PHDT
Dynamics and statics
72
QDHC
East Asian and Indian philosophy
26
PSAF
Ecological science, the Biosphere
27
KCX
Economic and financial crises and disasters
28
KCA
Economic theory and philosophy
34
KC
Economics
20
JNDH
Education: examinations and assessment
30
JNK
Educational administration and organization
20
JNV
Educational equipment and technology, computer-aided learning (CAL)
54
JNC
Educational psychology
22
JPHF
Elections and referenda
26
TRV
Electric vehicles
41
THR
Electrical engineering
52
KNBL
Electrical power generation and distribution industries
245
PHK
Electricity, electromagnetism and magnetism
233
TJFD
Electronic devices and materials
175
TJFC
Electronics: circuits and components
164
PHDB
Elementary mechanics
33
MJG
Endocrinology
21
LNCR
Energy and natural resources law
35
THYC
Energy efficiency
53
KNB
Energy industries and utilities
187
RNFY
Energy resources
52
THY
Energy, power generation, distribution and storage
300
TGMD
Engineering: Mechanics of solids
24
UFL
Enterprise software
33
KJH
Entrepreneurship
96
KCVG
Environmental economics
84
MBNH2
Environmental factors
49
RND
Environmental policy and protocols
193
RNA
Environmentalist thought and ideology
76
MBNS
Epidemiology and Medical statistics
108
SXE
eSports
20
QDTQ
Ethics and moral philosophy
44
PSVP
Ethology and animal behaviour
25
PBMH
Euclidean geometry
40
NHD
European history
21
PSAJ
Evolution
80
PSXE
Evolutionary anthropology
43
UYQE
Expert systems
25
ATFG
Film guides and reviews
87
ATFA
Film history, theory or criticism
24
ATFN
Film: styles and genres
318
KFF
Finance and the finance industry
31
KFFF
Financial technology (fintech)
29
RNFF
Food security and supply
28
PBKF
Functional analysis and transforms
26
PGM
Galaxies and stars
286
UMK
Games development and programming
35
JBSF1
Gender studies: women and girls
68
MKZV
Gene therapy
36
GTZ
General studies and General knowledge
21
UYQF
Generative artificial intelligence
1023
TCBG
Genetic engineering
47
PSAK
Genetics (non-medical)
591
PHVG
Geophysics
32
JPSL
Geopolitics
256
THVG
Geothermal energy and power
33
PHDV
Gravity
24
KFFS
Green finance
51
PBG
Groups and group theory
101
MJF
Haematology
20
MBP
Health systems and services
35
VFMD
Health: Diets and nutrition
20
MJJ
Hepatology
40
JNM
Higher education, tertiary education
215
RBGF
Historical geology and palaeogeology
34
NHAH
Historiography
30
UBB
History of Computing, digital and information technologies
41
TBX
History of engineering and technology
20
PBX
History of mathematics
25
PDX
History of science
105
NHK
History of the Americas
42
NHT
History: specific events and topics
20
JBFD
Housing and homelessness
20
JPVH
Human rights, civil rights
36
THD
Hydrogen technologies
50
THVH
Hydropower
20
MJCM
Immunology
75
PDR
Impact of science and technology on society
94
AMB
Individual architects and architectural firms
23
AGB
Individual artists, art monographs
27
ATFB
Individual film directors, film-makers
26
PDG
Industrial applications of scientific research and technological innovation
44
MJCJ
Infectious and contagious diseases
50
KNTX
Information technology industries
127
JWD
Information warfare
25
GTV
Institutions and learned societies: general
31
JPSN
International institutions
23
JPS
International relations
21
KCLT
International trade and commerce
42
ATN
Internet and digital media: arts and performance
49
DNPB
Interviews
31
KFFM
Investment and securities
104
KJMV3
IT and information systems management
33
KCF
Labour
79
PHJL
Laser physics
42
DSRC
Literary companions, book reviews and guides
24
DSK
Literary studies: fiction, novelists and prose writers
62
DSC
Literary studies: poetry and poets
42
DSA
Literary theory
22
UYQM
Machine learning
849
KCB
Macroeconomics
21
KJMB
Management: leadership and motivation
34
TGM
Materials science
45
MKCM
Materno-foetal medicine
34
PHU
Mathematical
127
PBCD
Mathematical logic
99
PBWH
Mathematical modelling
51
UYA
Mathematical theory of computation
185
PB
Mathematics
71
MFKH3
Maturation and ageing
59
JBCT
Media studies
20
JBCT1
Media studies: internet, digital media and society
46
JBCT4
Media studies: journalism
75
MBF
Medical and health informatics
55
MFN
Medical genetics
154
MKS
Medical imaging
20
MBGL
Medical laboratory testing and techniques
20
MBGR
Medical research
40
RBPM
Meteorology
22
PSG
Microbiology (non-medical)
49
JWK
Military and defence strategy
33
PSD
Molecular biology
156
KCBM
Monetary economics
71
TBN
Nanotechnology
25
UYX
Natural computing
722
RNR
Natural disasters
20
UYQL
Natural language and machine translation
99
UTN
Network security
43
UYQN
Neural networks and fuzzy systems
330
MKJ
Neurology and clinical neurophysiology
52
PSAN
Neurosciences
105
PNRL
Nuclear chemistry, photochemistry and radiation
26
RNQ
Nuclear issues
26
MKR
Nuclear medicine
66
PHN
Nuclear physics
95
THK
Nuclear power and engineering
172
PBH
Number theory
179
PBKS
Numerical analysis
30
RBKC
Oceanography (seas and oceans)
40
MJCL
Oncology
113
PHJ
Optical physics
133
PBU
Optimization
28
TTMW
Ordnance, weapons technology
20
PNN
Organic chemistry
63
RBX
Palaeontology
58
MKB
Palliative medicine
32
UYFP
Parallel processing
24
PHP
Particle and high-energy physics
102
GTU
Peace studies and conflict resolution
34
VSB
Personal finance
28
KJMV2
Personnel and human resources management
20
KNBP
Petroleum, oil and gas industries
79
MKG
Pharmacology
45
QD
Philosophy
28
PBB
Philosophy of mathematics
29
QDTM
Philosophy of mind
63
PDA
Philosophy of science
136
QDTK
Philosophy: epistemology and theory of knowledge
107
QDTL
Philosophy: logic
47
QDTJ
Philosophy: metaphysics and ontology
38
PNR
Physical chemistry
65
PH
Physics
146
PHDF
Physics: Fluid mechanics
37
JMM
Physiological psychology, neuropsychology, biopsychology
23
MFG
Physiology
48
PSTB
Plant biology
22
PHFP
Plasma physics
22
KCP
Political economy
96
JPHL
Political leaders and leadership
36
JPA
Political science and theory
20
JPHV
Political structures
41
JP
Politics and government
51
RNP
Pollution and threats to the environment
30
PDZM
Popular and recreational mathematics
61
WNX
Popular astronomy and space
698
QDXB
Popular philosophy: Meaning of life
22
VSP
Popular psychology
66
PDZ
Popular science
282
JPWG
Pressure groups, protest movements and non-violent action
24
URD
Privacy and data protection
25
PBT
Probability and statistics
205
TGP
Production and industrial engineering
34
UMX
Programming and scripting languages: general
88
UMA
Programming techniques
25
JM
Psychology
52
JMQ
Psychology: emotions
22
JMT
Psychology: states of consciousness
31
MKGW
Psychopharmacology
35
JPP
Public administration
25
KFFD
Public finance and taxation
40
MBN
Public health and preventive medicine
57
PHQ
Quantum physics (quantum mechanics and quantum field theory)
698
JBFA1
Racism and racial discrimination
23
PBKB
Real analysis, real variables
36
MFGG
Regional physiology
23
PHR
Relativity physics
272
QRAM3
Religion and science
24
DNP
Reportage, journalism or collected columns
65
GPS
Research methods
93
TJFM1
Robotics
260
KJS
Sales and marketing
33
KJMV7
Sales and marketing management
32
FLU
Science fiction: aliens
73
FLW
Science fiction: space exploration
194
FLS
Science fiction: space opera
33
PDK
Science funding and policy
64
PD
Science: general issues
50
PDM
Scientific research
45
NHWR7
Second World War
37
CFG
Semantics, discourse analysis, stylistics
28
PSAN4
Sensory and motor systems
20
TJKH
Signal processing
27
NHTS
Slavery, enslaved persons and abolition of slavery
26
NHTB
Social and cultural history
43
JBF
Social and ethical issues
26
QDTS
Social and political philosophy
55
JBFZ
Social forecasting, future studies
20
RNT
Social impact of environmental issues
41
JMH
Social, group or collective psychology
43
CFB
Sociolinguistics
33
UMZ
Software Engineering
60
THVS
Solar power
148
PGS
Solar system: the Sun and planets
288
TTDX
Space exploration
502
TTD
Space science
274
DNS
Speeches
35
PHS
Statistical physics
47
PBWL
Stochastics
43
RNU
Sustainability
45
JNU
Teaching of a specific subject
28
ATJ
Television
35
ATJS
Television: styles and genres
20
ATD
Theatre studies
21
PGC
Theoretical and mathematical astronomy
47
ABA
Theory of art
20
PHH
Thermodynamics and heat
25
PGZ
Time (chronology), time systems and standards
39
PBP
Topology
20
RPC
Urban and municipal planning and policy
46
MBNK
Vaccination
27
RBC
Volcanology and seismology
24
PHDS
Wave mechanics (vibration and acoustics)
34
UMW
Web programming
39
THVW
Wind power
22
CBW
Writing and editing guides
25
DL: Extensions
★
★
★
★
☆
4/5
DL: ALC
★
★
★
★
☆
4/5
Controlling Search
★
★
★
★
☆
4/5
Complexity of Resolution Refutation
★
★
★
★
☆
4/5
Clause Form
★
★
★
★
☆
4/5
Classification
★
★
★
★
☆
4/5
CD Theory (contd)
★
★
★
★
☆
4/5
CD Theory
★
★
★
★
☆
4/5
Backward Chaining
★
★
★
★
☆
4/5
Applying Scripts
★
★
★
★
☆
4/5
ALC examples
★
★
★
★
☆
4/5
A-box reasoning
★
★
★
★
☆
4/5
Moon Base Concepts
★
★
★
★
☆
4/5
TTIP – Welcome address
★
★
★
☆
☆
3/5
TTIP – Panel 1 - Increasing the Legitimacy of ISDS
★
★
★
★
☆
4/5
Proof Systems
★
★
★
★
☆
4/5
Unification
★
★
★
★
☆
4/5
The Rete Algorithm
★
★
★
★
☆
4/5
The OPS5 Expert System Shell
★
★
★
★
☆
4/5
Terminological Facts
★
★
★
★
☆
4/5
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
