Logica numerica editest
Link sponsorizzati
-
SWIF - Quaderno di Logica
Risorse sulla logica pura e applicata filosofia della logica ed aree di ricerca attigue.
-
Manuale Prolog
Questo manuale online tratta sia gli aspetti teorici della logica formale (calcolo proposiazionale logica dei predicati risoluzione di problemi etc) che l'utilizzo del Prolog per programmare sistemi intelligenti (come ad esempio l'analisi del linguaggio naturale).
-
Logica e conoscenza
Sito della scuola di storia e filosofia della logica organizzata dalla SILFS dal Laboratorio di Scienze Cognitive di Rovereto e dal Dipartimento di Filosofia di Genova Offre materiali selezionati online in italiano e inglese.
-
Raucci Biagio
Presenta informazioni relative alla fluidodinamica numerica e in particolare all'uso della tecnica dell'Immersed Boundary (Parzialmente in inglese).
-
Boom!!!
Enigmi giochi di logica enigmistica trivia.
-
Aermap
L'Azienda Centro Cartografico Sardo opera nel campo della cartografia aerofotogrammetrica numerica Presenta profilo realizzazioni form per contatti .
-
Fantaplay
Propone giochi di logica ed è incentrato sul sudoku.
-
Teleco
Specializzata in prodotti per le telecomunicazioni produce microprocessori sistemi per gestione linee strutture per apparati interfacce per trasmissione analogica e numerica.
-
Natel
Commercializzazione e manutenzione di impianti intercomunicanti analogici a logica distribuita.
-
AriaNET
Descrive le attività della azienda nell'ambito della simulazione numerica a diverse scale della meteorologia dispersione e trasformazione degli inquinanti aeriformi.
-
Associazione Italiana di Logica e sue Applicazioni (AILA)
Presenta lo statuto gli eventi e le attività.
-
Laboratorio di modellazione numerica
Sito realizzato dal Dipartimento di Scienze della Terra dell'Università degli Gabriele D'Annunzio che presenta esempi di modellistica per geologia applicata.
-
Riarte
Specializzata nel settore della stereofotogrammetria in campo architettonico ed industriale cartografia numerica e raddrizzamento digitale Riporta metodologia e applicazioni la galleria fotografica dei lavori svolti modulo per richiedere informazioni e i contatti.
-
Compucart
Produce cartografia numerica di origine aerofotogrammetrica per enti ed imprese ed opera nel settore dell'editing grafico e digitalizzazione Profilo servizi offerti portfolio clienti metodi e procedure recapiti.
-
Base5: Sudoku informazioni
Una introduzione al gioco gli echi sulla stampa la logica risolutiva un risolutore e un analizzatore online.