Category:Logic
Bước tới điều hướng
Bước tới tìm kiếm
nghiên cứu suy luận và chứng minh có hệ thống | |||||
Tải lên phương tiện | |||||
Cách phát âm (đoạn âm thanh) | |||||
---|---|---|---|---|---|
Là một |
| ||||
Một phần của | |||||
Gồm có | |||||
| |||||
Thể loại con
Thể loại này có 27 thể loại con sau, trên tổng số 27 thể loại con.
Tập tin trong thể loại “Logic”
50 tập tin sau nằm trong thể loại này, trong tổng số 50 tập tin.
-
00 Generic Pseudo Code.png 1.254×416; 78 kB
-
01 Costruction Phase Pseudo Code.png 1.096×504; 96 kB
-
02 Local Search Pseudo Code.png 1.092×328; 56 kB
-
03 Refined Pseudo Code.png 1.094×672; 130 kB
-
Abductionfr.svg 1.920×1.080; 5 kB
-
AGClogicmodule.agr.jpg 1.592×902; 1,34 MB
-
Amoriax.jpg 604×601; 145 kB
-
EGIATAULA.jpg 491×144; 22 kB
-
De La Harpe - La Logique de l’assertion pure, PUF, 1950.djvu 1.873 × 3.013, 115 trang; 4,87 MB
-
De-Logik-article.ogg 18 min 12 s; 17,55 MB
-
Deontic square.svg 512×460; 98 kB
-
El mentiroso.jpg 229×331; 20 kB
-
Example formalization.svg 512×144; 32 kB
-
Existential quantifier.svg 512×436; 2 kB
-
Family Generations (TheOriginals).jpg 1.625×2.057; 1,57 MB
-
First-order logic.png 2.094×510; 332 kB
-
Formula Bem Formada.png 300×276; 7 kB
-
Hypermorphisms.pdf 1.275×1.650; 57 kB
-
Impl-rule-1.svg 142×69; 25 kB
-
In Quest of Univeral Logic HypoSyll.png 2.322×1.085; 134 kB
-
In Quest of Univeral Logic Morgan.png 2.324×595; 51 kB
-
In Quest of Univeral Logic5.png 2.324×712; 92 kB
-
KJL02617.jpg 4.000×6.000; 9,22 MB
-
Leonid Vasilyevich Rutkowski short biography, 1907.jpg 1.524×2.201; 1,43 MB
-
Logical square.svg 1.000×1.000; 229 kB
-
Logos.gif 580×250; 7 kB
-
Main part of proving existence elimination.svg 91×94; 16 kB
-
Natural language formalization.svg 512×353; 62 kB
-
Negazione di un predicato.png 500×100; 4 kB
-
Para Todxs NATAL - uma introdução à lógica formal.pdf 750 × 1.200, 474 trang; 1,93 MB
-
Participants of first colloquium.jpg 1.080×1.080; 161 kB
-
Planar SAT example.png 701×810; 61 kB
-
Program-logics-graph.png 2.029×1.116; 896 kB
-
Propositional Attitude.png 1.024×1.024; 22 kB
-
Razón.gif 215×48; 598 byte
-
Relation.svg 512×205; 3 kB
-
Risunok1.png 800×591; 34 kB
-
Set of possible truths.png 384×381; 20 kB
-
Sls logo2021 horizontal color1020x124.png 1.020×124; 5 kB
-
Sur la logique de M Brouwer.pdf 3.154 × 5.239, 4 trang; 285 kB
-
Sur quelque points de la logique de M Brouwer.pdf 3.154 × 5.239, 6 trang; 519 kB
-
Titulnyi.jpg 1.080×1.512; 138 kB
-
Uniqueness Quantification.png 184×266; 2 kB
-
Unit.jpg 279×188; 10 kB
-
Univerzálisá.jpg 279×188; 17 kB
-
WaltherBrüning-Set-Diagrams.svg 778×182; 17 kB
-
WikiDEL5b.png 377×187; 16 kB
-
World Logic Day Logo.jpg 850×567; 78 kB