Category:Logic
Vai alla navigazione
Vai alla ricerca
studio del ragionamento e dell'argomentazione | |||||
Carica un file multimediale | |||||
Audio della pronuncia | |||||
---|---|---|---|---|---|
Istanza di |
| ||||
Parte di | |||||
Consiste di | |||||
| |||||
Sottocategorie
Questa categoria contiene le 27 sottocategorie indicate di seguito, su un totale di 27.
File nella categoria "Logic"
Questa categoria contiene 53 file, indicati di seguito, su un totale di 53.
-
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
-
Circular definition of circular definition (in Moroccan Darija).png 889 × 762; 18 KB
-
De La Harpe - La Logique de l’assertion pure, PUF, 1950.djvu 1 873 × 3 013, 115 pagine; 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 pagine; 1,93 MB
-
Parse Tree Still.png 630 × 804; 21 KB
-
Parse Tree.gif 336 × 429; 43 KB
-
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
-
Relationen im Dreierkontext einer polykontextualen Logik.png 397 × 639; 34 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 pagine; 285 KB
-
Sur quelque points de la logique de M Brouwer.pdf 3 154 × 5 239, 6 pagine; 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