Intelligenza Artificiale I
|
|
|
- Faustino Guglielmi
- 8 anni fa
- Visualizzazioni
Transcript
1 Intelligenza Artificiale I Esercitazione 3 Marco Piastra Esercitazione 3-1
2 Semantic Tableau, regole alfa e beta Un tableau è un insieme di fbf Le regole (alfa e beta trasformano un tableau in uno o due nuovi tableau Si parte da un tableau iniziale Regole alfa (o di espansione (a1 (a2 (a3 ( ( (a4 (,,, Regole beta (o di biforcazione (b1 (b2 (b3 (b4 (b5 ( (,,,, Esercitazione 3-2
3 Metodo dei Semantic Tableau Procedura: Dato il problema Si assume { } come nodo (tableau iniziale Su ciascun ramo, in modalità depth-first Se il nodo contiene solo letterali, se il nodo contiene una contraddizione, chiudere il ramo altrimenti terminare la procedura [fallimento] Se il nodo contiene formule composite: a applicare le regole alfa b applicare le regole beta Notare: le regole alfa vengono applicate prima delle regole beta Esercitazione 3-3
![chiudere il ramo altrimenti terminare la procedura [fallimento] Se il nodo contiene formule composite: a](/docs-images/47/12511028/images/page_3.jpg "applicare le regole alfa b applicare le regole beta Notare: le regole alfa vengono applicate prima delle regole")
4 (file semantictableau.jess ( duplicate-deep (?n (if (symbolp?n?n (id (gensym* ;; Always make sure it has a unique id (op1 (duplicate-deep (fact-slot-value?n op1 (op2 (duplicate-deep (fact-slot-value?n op2 Esercitazione 3-4
5 (file semantictableau.jess nome ( duplicate-deep (?n (if (symbolp?n?n (id (gensym* ;; Always make sure it has a unique id (op1 (duplicate-deep (fact-slot-value?n op1 (op2 (duplicate-deep (fact-slot-value?n op2 Esercitazione 3-5
6 (file semantictableau.jess parametri ( duplicate-deep (?n (if (symbolp?n?n (id (gensym* ;; Always make sure it has a unique id (op1 (duplicate-deep (fact-slot-value?n op1 (op2 (duplicate-deep (fact-slot-value?n op2 Esercitazione 3-6
7 (file semantictableau.jess ( duplicate-deep (?n (if (symbolp?n?n controllo di flusso (id (gensym* ;; Always make sure it has a unique id (op1 (duplicate-deep (fact-slot-value?n op1 (op2 (duplicate-deep (fact-slot-value?n op2 Esercitazione 3-7
8 (file semantictableau.jess ( duplicate-deep (?n (if (symbolp?n?n ritorno di valori (id (gensym* ;; Always make sure it has a unique id (op1 (duplicate-deep (fact-slot-value?n op1 (op2 (duplicate-deep (fact-slot-value?n op2 Esercitazione 3-8
9 (file semantictableau.jess ( duplicate-deep (?n (if (symbolp?n?n predicato speciale di Jess: vale TRUE se l argomento è un simbolo (id (gensym* ;; Always make sure it has a unique id (op1 (duplicate-deep (fact-slot-value?n op1 (op2 (duplicate-deep (fact-slot-value?n op2 Esercitazione 3-9
10 (file semantictableau.jess ( duplicate-deep (?n (if (symbolp?n?n funzione speciale di Jess: ritorna un (nuovo simbolo univoco (id (gensym* ;; Always make sure it has a unique id (op1 (duplicate-deep (fact-slot-value?n op1 (op2 (duplicate-deep (fact-slot-value?n op2 Esercitazione 3-10
11 Semantic Tableau (file semantictableau.jess Domande: a Cosa vuol dire metodo per refutazione? (non procedere oltre prima di aver capito b Come vengono rappresentate le formule? c Come vengono rappresentati i tableau? d Come funziona l implementazione Jess del metodo? e Perchè si usaduplicate-deep e retract-deep? f A cosa servono le priorità? (usare l esempio st-theproblem.jess Esercitazione 3-11
Si basano sul seguente Teorema: S = A sse S { A} è insoddisfacibile.
Deduzione automatica La maggior parte dei metodi di deduzione automatica sono metodi di refutazione: anziché dimostrare direttamente che S A, si dimostra che S { A} è un insieme insoddisfacibile (cioè
Soddisfacibilità e Semantic Tableau [1]
![Soddisfacibilità e Semantic Tableau [1]](/thumbs/75/72399010.jpg "Soddisfacibilità e Semantic Tableau [1]")
Intelligenza Artificiale I Soddisfacibilità e Semantic Tableau Marco Piastra Soddisfacibilità e Semantic Tableau [1] Problemi e decidibilità (automatica) Problema In forma rigorosa, un problema è una relazione
Intelligenza Artificiale. Logica proposizionale: calcolo automatico
Intelligenza Artificiale Logica proposizionale: calcolo automatico Marco Piastra Logica formale (Parte 3) - Parte 3 Calcolo automatico Forme normali ed a clausole Risoluzione e refutazione Forward chaining
Mathematical logic 1 st assessment Propositional Logic 23 October 2014
Name ID. 1 Mathematical logic 1 st assessment Propositional Logic 23 October 2014 Instructions Rispondete in Italiano utilizzando una penna ad inchiostro (no matite) a meno che le domande non vi diano
Lezione 8. La macchina universale
Lezione 8 Algoritmi La macchina universale Un elaboratore o computer è una macchina digitale, elettronica, automatica capace di effettuare trasformazioni o elaborazioni su i dati digitale= l informazione
Soddisfacibilità e Semantic Tableau [1]
![Soddisfacibilità e Semantic Tableau [1]](/thumbs/101/151006681.jpg "Soddisfacibilità e Semantic Tableau [1]")
Intelligenza Artificiale I Soddisfacibilità e Semantic Tableau Marco Piastra Soddisfacibilità e Semantic Tableau [1] Problemi e decidibilità (automatica) Problema Un problema è una relazione tra istanze
Planning as Model Checking Presentazione della Tesina di Intelligenza Artificiale
Planning as Model Checking Presentazione della Tesina di Intelligenza Artificiale di Francesco Maria Milizia francescomilizia@libero.it Model Checking vuol dire cercare di stabilire se una formula è vera
e Algoritmi Marco Piastra Intelligenza Artificiale I Soddisfacibilità
Intelligenza Artificiale I Soddisfacibilità e Algoritmi Marco Piastra Intelligenza Artificiale I - A.A. 2010- Soddisfacibilità e Semantic Tableau [1] Problemi e decidibilità (automatica) Problema Un problema
Introduzione alla programmazione in C
Introduzione alla programmazione in C Testi Consigliati: A. Kelley & I. Pohl C didattica e programmazione B.W. Kernighan & D. M. Ritchie Linguaggio C P. Tosoratti Introduzione all informatica Materiale
Assistenza Clienti Gestione dei ticket in ambiente multi utenza. Software di CRM vtiger
Assistenza Clienti Gestione dei ticket in ambiente multi utenza Software di CRM vtiger Scenario Si vuole implementare il funzionamento di un servizio di supporto tecnico per gli utenti tramite call center.
Esercitazione n 4. Obiettivi
Esercitazione n 4 Obiettivi Progettare e implementare per intero un componente software in Java Linguaggio Java: Classi astratte Utilizzo di costruttori e metodi di superclasse Polimorfismo Esempio guida:
Esercitazione del 05-03-2007
FUNZIONI Esercitazione del 05-03-2007 1. Aprire una nuova cartella di lavoro. 2. Inserire nel foglio di lavoro di Excel le seguenti colonne: A B 1000 100 1100 200 1200 300 1300 400 1400 500 1500 600 1600
Elementi di UML (7): Diagrammi dei componenti e di deployment
Elementi di UML (7): Diagrammi dei componenti e di deployment Università degli Studi di Bologna Facoltà di Scienze MM. FF. NN. Corso di Laurea in Scienze di Internet Anno Accademico 2004-2005 Laboratorio
Introduzione al Linguaggio C
Introduzione al Linguaggio C File I/O Daniele Pighin April 2009 Daniele Pighin Introduzione al Linguaggio C 1/15 Outline File e dati Accesso ai file File I/O Daniele Pighin Introduzione al Linguaggio C
OPESSAN DESCRIZIONE SERVIZI VERIFICHE E APPROVAZIONI CONTROLLO APPROVAZIONE
Pag. 1 di 6 VERIFICHE E APPROVAZIONI VERSIONE REDAZIONE CONTROLLO APPROVAZIONE AUTORIZZAZIONE EMISSIONE NOME DATA NOME DATA NOME DATA V01 L. Neri 26/02/2010 C. Audisio 08/03/10 M.Rosati 09/03/10 STATO
Convertitori numerici in Excel
ISTITUTO DI ISTRUZIONE SUPERIORE G. M. ANGIOY CARBONIA Convertitori numerici in Excel Prof. G. Ciaschetti Come attività di laboratorio, vogliamo realizzare dei convertitori numerici con Microsoft Excel
Presentazione. Installazione, connessione e uso di Intelligent NAS 2013/9
Presentazione Installazione, connessione e uso di Intelligent NAS 2013/9 Indice Self-RAID Creation e capacità dell unità...3 Guida rapida di installazione...4 Installazione di Intelligent NAS...5 Dopo
Errori più comuni. nelle prove scritte
Errori più comuni nelle prove scritte Gli errori più frequenti, e reiterati da chi sostiene diverse prove, sono innanzi tutto meta-errori, cioè errori che non riguardano tanto l applicazione delle tecniche,
Automatizzare i compiti ripetitivi. I file batch. File batch (1) File batch (2) Visualizzazione (2) Visualizzazione
Automatizzare i compiti ripetitivi I file batch Anno accademico 2000-01 1 Spesso capita di dover eseguire ripetutatmente una data sequenza di comandi Introdurli uno a uno da tastiera è un processo lento
BMSO1001. Virtual Configurator. Istruzioni d uso 02/10-01 PC
BMSO1001 Virtual Configurator Istruzioni d uso 02/10-01 PC 2 Virtual Configurator Istruzioni d uso Indice 1. Requisiti Hardware e Software 4 1.1 Requisiti Hardware 4 1.2 Requisiti Software 4 2. Concetti
AXO Architettura dei Calcolatori e Sistema Operativo. processo di assemblaggio
AXO Architettura dei Calcolatori e Sistema Operativo processo di assemblaggio linguaggio assembly è il linguaggio simbolico che consente di programmare un calcolatore utilizzando le istruzioni del linguaggio
Allocazione dinamica della memoria - riepilogo
Università degli studi di Milano Dipartimento di Scienze dell Informazione Laboratorio di algoritmi e strutture dati Corso di laurea in Informatica In breve Storage duration Allocazione dinamica della
Dispositivo wireless Interfaccia Ethernet in tecnologia ZigBee
KET-GZE-100 Dispositivo wireless Interfaccia Ethernet in tecnologia ZigBee MANUALE D USO e INSTALLAZIONE rev. 1.2-k Sommario Convenzioni utilizzate... 3 Descrizione generale... 4 Funzioni associate ai
SPRING SQ COMUNICAZIONE OPERAZIONI IVA NON INFERIORI A 3000 EURO PER L ANNO 2011
Versione aggiornata il 02 Aprile 2012 SPRING SQ COMUNICAZIONE OPERAZIONI IVA NON INFERIORI A 3000 EURO PER L ANNO 2011 PREREQUISITI *** ACCERTARSI CON L ASSISTENZA DI AVERE INSTALLATO LE ULTIME IMPLEMENTAZIONE/CORREZIONI
IRISPen Air 7. Guida rapida per l uso. (Android)
IRISPen Air 7 Guida rapida per l uso (Android) La Guida rapida per l'uso viene fornita per aiutarvi a iniziare a usare IRISPen Air TM 7. Leggere la guida prima di utilizzare lo scanner e il relativo software.
Dove die( stringa ) è una funzione di utilità del php che stampa la stringa e fa terminare lo script.
I file in PHP Un file è un archivio elettronico contenente informazioni (dati) memorizzate su memoria di massa. Il file ha la caratteristica di consentire la lettura, la scrittura e la modifica dei dati
Integrazione numerica
Integrazione numerica Lucia Gastaldi Dipartimento di Matematica, http://dm.ing.unibs.it/gastaldi/ Lezione 6-20-26 ottobre 2009 Indice 1 Formule di quadratura semplici e composite Formule di quadratura
Manuale procedura gruppi (ver. 1.0.7)
Manuale procedura gruppi (ver. 1.0.7) A cosa serve La procedura gruppi è un programma residente che da la possibilità alle agenzie di caricare i componenti di uno o più gruppi e generare un file da spedire
Sistemi Informativi 01CIT 13 Febbraio 2008
Matricola Cognome Nome: Sistemi Informativi 01CIT 13 Febbraio 2008 Non e consentito usare appunti, libri o simili. Scrivere solo su questi fogli. Display prezzi merci in supermercato. I prezzi delle merci
Tipi di utente Pagina di Accesso BUW prevede due tipi di utente
Scopo CASO DI STUDIO Back L applicazione Back (BUW) è un insieme di funzionalità che: permette di salvare un insieme di file creati sul client su uno spazio disco di locazione sconosciuta all utente e
DISPENSE. sull uso di GRASS e QGIS per l analisi del territorio
DISPENSE sull uso di GRASS e QGIS per l analisi del territorio per il corso di Geomorfologia per il progetto di paesaggio del Prof. Geol. G. Brancucci Laurea magistrale in Progettazione delle Aree Verdi
Introduzione agli Abstract Data Type (ADT)
Introduzione agli Abstract Data Type (ADT) La nozione di tipo di dato astratto Sappiamo già che quando si affrontano problemi complessi è necessario procedere in due fasi: Specifica dell algoritmo Implementazione
LOG FILE CREATI DA VIDA 1 INTRODUZIONE
1 INTRODUZIONE Quando si rapporta un errore, VIDA crea i log file da usare nel processo. I log file servono per analizzare le cause alla radice del problema. Ed un rapporto privo di log file può essere
ALGEBRA DELLE PROPOSIZIONI
Università di Salerno Fondamenti di Informatica Corso di Laurea Ingegneria Corso B Docente: Ing. Giovanni Secondulfo Anno Accademico 2010-2011 ALGEBRA DELLE PROPOSIZIONI Fondamenti di Informatica Algebra
Test Excel conoscenze di Base
Test Excel conoscenze di Base 1)Che tipo di barra ha un foglio di calcolo, che un elaboratore testi non ha? a. La barra dei menu b. La barra della formula c. La barra del titolo d. La barra della formattazione
Fondamenti di Informatica Ingegneria Clinica Lezione 15/10/2009. Prof. Raffaele Nicolussi
Fondamenti di Informatica Ingegneria Clinica Lezione 15/10/2009 Prof. Raffaele Nicolussi FUB - Fondazione Ugo Bordoni Via B. Castiglione 59-00142 Roma Docente Raffaele Nicolussi rnicolussi@fub.it Lezioni
Intelligenza Artificiale. Breve introduzione alla logica classica (Parte 2)
Intelligenza Artificiale Breve introduzione alla logica classica (Parte 2) Marco Piastra Logica formale (Parte 2) - Introduzione alla logica formale Parte. Preambolo: algebra di Boole, proposizioni, conseguenza
Manuale procedura Gruppi Ospiti (ver. 1.0.8)
Manuale procedura Gruppi Ospiti (ver. 1.0.8) A COSA SERVE La procedura gruppi è un programma residente che dà la possibilità di accelerare i tempi del check-in e permette: - alle agenzie di caricare i
I CIRCUITI ELETTRICI. Prima di tutto occorre mettersi d accordo anche sui nomi di alcune parti dei circuiti stessi.
I CIRCUITI ELETTRICI Prima di tutto occorre mettersi d accordo anche sui nomi di alcune parti dei circuiti stessi. Definiamo ramo un tratto di circuito senza diramazioni (tratto evidenziato in rosso nella
Tricks & Tips. [Access] Tutorial - ActiveX - Controllo Tree View. - Michele de Nittis - Versione: 1 Data Versione: venerdì 30 agosto 2002
![Tricks & Tips. [Access] Tutorial - ActiveX - Controllo Tree View. - Michele de Nittis - Versione: 1 Data Versione: venerdì 30 agosto 2002](/thumbs/25/4943801.jpg "Tricks & Tips. [Access] Tutorial - ActiveX - Controllo Tree View. - Michele de Nittis - Versione: 1 Data Versione: venerdì 30 agosto 2002")
Tricks & Tips [Access] - Michele de Nittis - Tutorial - ActiveX - Controllo Tree View Versione: 1 Data Versione: venerdì 30 agosto 2002 1 SOMMARIO PREMESSA...3 INSERIMENTO DEL CONTROLLO...3 AGGIUNTA DELLE
Presentazione. Installazione, connessione e uso di Intelligent NAS 2014/7
Presentazione Installazione, connessione e uso di Intelligent NAS 2014/7 Indice Self-RAID Creation e capacità dell unità...3 Guida rapida di installazione...4 Installazione di Intelligent NAS...5 Dopo
+ / operatori di confronto (espressioni logiche/predicati) / + 5 3 9 = > < Pseudo codice. Pseudo codice
Pseudo codice Pseudo codice Paolo Bison Fondamenti di Informatica A.A. 2006/07 Università di Padova linguaggio testuale mix di linguaggio naturale ed elementi linguistici con sintassi ben definita e semantica
Ricerca non informata in uno spazio di stati
Università di Bergamo Facoltà di Ingegneria Intelligenza Artificiale Paolo Salvaneschi A5_2 V2.4 Ricerca non informata in uno spazio di stati Il contenuto del documento è liberamente utilizzabile dagli
Interesse, sconto, ratei e risconti
TXT HTM PDF pdf P1 P2 P3 P4 293 Interesse, sconto, ratei e risconti Capitolo 129 129.1 Interesse semplice....................................................... 293 129.1.1 Esercizio per il calcolo dell
ISTITUTO TECNICO INDUSTRIALE STATALE LA GESTIONE DEI FILE DI TESTO IN C++
ISTITUTO TECNICO INDUSTRIALE STATALE G A L I L E O F E R R A R I S DIISPENSA DII IINFORMATIICA E SIISTEMII AUTOMATIICII LA GESTIONE DEI FILE DI TESTO IN C++ Le classi per la gestione dei file. Il C++ è
PROVA FINALE V. AULETTA G. PERSIANO ALGORITMI II - -MAGIS INFO
PROVA FINALE V. AULETTA G. PERSIANO ALGORITMI II - -MAGIS INFO 1. Load Balancing Un istanza del problema del load balancing consiste di una sequenza p 1,..., p n di interi positivi (pesi dei job) e un
Database 1 biblioteca universitaria. Testo del quesito
Database 1 biblioteca universitaria Testo del quesito Una biblioteca universitaria acquista testi didattici su indicazione dei professori e cura il prestito dei testi agli studenti. La biblioteca vuole
Progetto di Basi di Dati e Multimidia Laboratorio Struttura dell applicazione web
Progetto di Basi di Dati e Multimidia Labtorio Struttura dell applicazione web 1 Introduzione La progettazione è stata sviluppata basandosi sul modello MVC-2 Server Centric. I moduli creati si possono
Uso di JUnit. Fondamenti di informatica Oggetti e Java. JUnit. Luca Cabibbo. ottobre 2012
Fondamenti di informatica Oggetti e Java ottobre 2012 1 JUnit JUnit è uno strumento per assistere il programmatore Java nel testing JUnit consente di scrivere test di oggetti e classi Java i test sono
Fondamenti dell Informatica Ricorsione e Iterazione Simona Ronchi Della Rocca (dal testo: Kfoury, Moll and Arbib, cap.5.2)
Fondamenti dell Informatica Ricorsione e Iterazione Simona Ronchi Della Rocca (dal testo: Kfoury, Moll and Arbib, cap.5.2) Definiamo innanzitutto una relazione d ordine tra le funzioni. Siano φ e ψ funzioni
Sudoku: ancora un esercizio
Sudoku: ancora un esercizio Silvio Ranise LORIA & INRIA-Lorraine Nancy (France) 17 Gennaio 2007 Un esempio (sempre lo stesso) 5 3 7 6 1 9 5 9 8 6 8 6 3 4 8 3 1 7 2 6 6 2 8 4 1 9 5 8 7 9 Regole (sempre
developed by Emanuele De Carlo
developed by Emanuele De Carlo WorkGym è un Software sviluppato in JAVA pensato per migliorare la gestione di piccole e grandi palestre. Il suo principale scopo è quello di mantenere un DataBase contenente
ISTRUZIONI Scrutinio OnLine
ISTRUZIONI Scrutinio OnLine Ci sono state consegnate le credenziali per accedere al sito per inserire i voti. Le credenziali sono fatte così: LOGIN: BOLS0008.xxxxxxx Password: xxxxxxx Questo è l identificativo
Studente: SANTORO MC. Matricola : 528
CORSO di LAUREA in INFORMATICA Corso di CALCOLO NUMERICO a.a. 2004-05 Studente: SANTORO MC. Matricola : 528 PROGETTO PER L ESAME 1. Sviluppare una versione dell algoritmo di Gauss per sistemi con matrice
BMSO1001. Orchestrator. Istruzioni d uso 02/10-01 PC
BMSO1001 Orchestrator Istruzioni d uso 02/10-01 PC 2 Orchestrator Istruzioni d uso Indice 1. Requisiti Hardware e Software 4 1.1 Requisiti Hardware 4 1.2 Requisiti Software 4 2. Concetti fondamentali 4
Concetti preliminari teorici per il corso di Access Avanzato - Sc.Elem Falcone - PON 2010 - Prof. M. Simone
Concetti preliminari per il corso di Access di database e di DBMS Un database è un insieme ben organizzato di informazioni distribuite su più tabelle all interno dello stesso file e gestite da un apposito
Algebra di Boole ed Elementi di Logica
Algebra di Boole ed Elementi di Logica 53 Cenni all algebra di Boole L algebra di Boole (inventata da G. Boole, britannico, seconda metà 8), o algebra della logica, si basa su operazioni logiche Le operazioni
Finanziamenti on line -
Finanziamenti on line - Manuale per la compilazione dei moduli di Liquidazione del Progetto del Fondo NASKO Pagina 1 Indice 1. Introduzione... 3 1.1 Scopo e campo di applicazione... 3 1.2 Copyright (specifiche
IBM Software Demos Lotus Expeditor and Lotus Forms
Questa dimostrazione illustra le funzioni di elaborazione dei moduli dei software IBM Lotus Forms e IBM Lotus Expeditor. IBM Lotus Forms è una soluzione aperta per moduli elettronici che supporta
COS È UN LINGUAGGIO? LINGUAGGI DI ALTO LIVELLO LA NOZIONE DI LINGUAGGIO LINGUAGGIO & PROGRAMMA
LINGUAGGI DI ALTO LIVELLO Si basano su una macchina virtuale le cui mosse non sono quelle della macchina hardware COS È UN LINGUAGGIO? Un linguaggio è un insieme di parole e di metodi di combinazione delle
Corso di Reti di Calcolatori T
Università degli Studi di Bologna Scuola di Ingegneria Corso di Reti di Calcolatori T Esercitazione 2 (proposta) Socket Java con connessione Luca Foschini Anno accademico 2015/2016 Esercitazione 2 1 Specifica
Intelligenza Artificiale. Metodi di ricerca
Intelligenza Artificiale Metodi di ricerca Marco Piastra Metodi di ricerca - 1 Ricerca nello spazio degli stati (disegno di J.C. Latombe) I nodi rappresentano uno stato Gli archi (orientati) una transizione
Università di Milano Bicocca Esercitazione 7 di Matematica per la Finanza 12 Marzo 2015
Università di Milano Bicocca Esercitazione 7 di Matematica per la Finanza 12 Marzo 2015 Esercizio 1 Si consideri la funzione f(t) := 2t/10 1 + 0, 04t, t 0. 1. Verificare che essa rappresenta il fattore
MODULO 1 PARTE 3. Programmazione (scripting) server-side con PHP 3.c Cookies e sessioni. Goy - a.a. 2012/2013 Programmazione Web 1
MODULO 1 PARTE 3 Programmazione (scripting) server-side con PHP 3.c Cookies e sessioni Goy - a.a. 2012/2013 Programmazione Web 1 Cookie - I Cookie = variabili che il server salva (*) sul client come file
(Esercizi Tratti da Temi d esame degli ordinamenti precedenti)
(Esercizi Tratti da Temi d esame degli ordinamenti precedenti) Esercizio 1 L'agenzia viaggi GV - Grandi Viaggi vi commissiona l'implementazione della funzione AssegnaVolo. Tale funzione riceve due liste
Un esercizio d esame. Flavio De Paoli
Un esercizio d esame e note sulla gestione dei dati Flavio De Paoli Il testo (Appello 22 ottobre 2001) Una stazione di servizio dispone di n distributori di benzina. I clienti si presentano a uno dei distributori
ESERCITAZIONE Semplice creazione di un sito Internet
ESERCITAZIONE Semplice creazione di un sito Internet Sistemi e Tecnologie Informatiche - Prof. Gregorio Cosentino 1 Internet Una rete globale che connette milioni di computer in tutto il mondo, anarchica
Desktop Intelligence Introduzione alle Esercitazioni
abaroni@yahoo.com Desktop Intelligence Introduzione alle Esercitazioni 2. Menu Start - DI h è possibile: Creare un nuovo report all'interno di un documento DI facendo clic su Assistente Nuovo report nella
Algoritmi di Ricerca. Esempi di programmi Java
Fondamenti di Informatica Algoritmi di Ricerca Esempi di programmi Java Fondamenti di Informatica - D. Talia - UNICAL 1 Ricerca in una sequenza di elementi Data una sequenza di elementi, occorre verificare
Dalla a alla zeta: Guida facile ALCUNE NOTE SU COME UTILIZZARE vers. 1 Dicembre 2010 per le assicurazioni non profit
Indice Generalità Le principali funzionalità della Guida 1. SCORRIMENTO ALL INTERNO DI UNA SOTTOSEZIONE 2. NAVIGAZIONE FRA LE VARIE PARTI DELLA GUIDA 3. I SUPPORTI PER FACILITARE LA LETTURA 4. LA STAMPA
Riorganizzazione dei processi lavorativi e di ottimizzazione delle risorse degli Uffici Giudiziari della Regione Molise
Riorganizzazione dei processi lavorativi e di ottimizzazione delle risorse degli Uffici Giudiziari della Regione Molise Progettazione di un archivio informatizzato per la gestione documentale digitale
operazioni preliminari 1. generare il proprio sito con FCM (stagione in corso) selezionando, nelle interrogazioni, "tutti i dati" come in figura
installazione navio Pagina 1 sabato 25 agosto 2012 18.18 operazioni preliminari 1. generare il proprio sito con FCM (stagione in corso) selezionando, nelle interrogazioni, "tutti i dati" come in figura
sistemapiemonte GECO GEstione on line Comunicazioni Obbligatorie Anagrafica azienda Manuale d'uso sistemapiemonte.it
sistemapiemonte GECO GEstione on line Comunicazioni Obbligatorie Anagrafica azienda Manuale d'uso sistemapiemonte.it INDICE 1 INTRODUZIONE...3 2 AZIENDE... 4 2.1 GESTIONE ANAGRAFICA AZIENDA... 4 2.2 INSERIMENTO
flusso delle informazioni... 2 password... 3 password/2... 3 inserimento di una nuova richiesta... 4 le condizioni di vendita... 6
istruzioni per l inserimento di una richiesta on line di prodotti speciali flusso delle informazioni... 2 password... 3 password/2... 3 inserimento di una nuova richiesta... 4 le condizioni di vendita...
Note applicative AN001: Driver ModBus
WebCommander e WebLog Note applicative AN001: Driver ModBus Generalita Questo documento descrive la configurazione dei parametri ModBus nei dispositivi WebLog e WebCommander, al fine di definire le variabili
GUIDA AL PRONTUARIO MOBILE
GUIDA AL PRONTUARIO MOBILE 1 SOMMARIO Installazione...3 Configurazione...3 Utilizzo...3 Note...10 INDICE DELLE FIGURE Figura 1: schermata di presentazione...4 Figura 2: schermata di login...4 Figura 3:
NAVIGAZIONE DEL SI-ERC: UTENTE PROGETTISTA
3 NAVIGAZIONE DEL SI-ERC: UTENTE PROGETTISTA Collegandosi al sito, si accede alla Home Page del SI-ERC che si presenta come illustrato di seguito. L utente progettista, analogamente agli altri utenti,
4 3 4 = 4 x 10 2 + 3 x 10 1 + 4 x 10 0 aaa 10 2 10 1 10 0
Rappresentazione dei numeri I numeri che siamo abituati ad utilizzare sono espressi utilizzando il sistema di numerazione decimale, che si chiama così perché utilizza 0 cifre (0,,2,3,4,5,6,7,8,9). Si dice
Cliens Gestione Studio Legale 2009.2 Modifica dei Reports
La funzione di Modica Reports consente di personalizzare le stampe (reports) di Cliens in base alle proprie esigenze. Ad esempio è possibile modificare l aspetto delle Fatture oppure delle stampe dell
Che differenza c è tra una richiesta XML ed una domanda XML? (pag. 4)
FAQ INVIO DOMANDE CIGO CON FLUSSO XML Cosa serve per inviare una domanda CIGO con il flusso XML? (pag. 2) Come si prepara una domanda in formato XML? (pag. 3) Che differenza c è tra una richiesta XML ed
Utilizzo dei dischi DVD-RAM
Questo manuale contiene le informazioni minime necessarie per l utilizzo dei dischi DVD-RAM con l'unità DVD MULTI con il sistema operativo Windows XP. Windows, Windows NT e MS-DOS sono marchi di fabbrica
ISTR Uso del Windows Messenger
Pagina 1 di 5 1.CAMPO DI APPLICAZIONE Ai dipendenti che fanno parte del progetto di Telelavoro ed ai colleghi del loro gruppo di lavoro è stato attivato un account di Messenger, per permettere una più
FATTURAZIONE ELETTRONICA PA
FATTURAZIONE ELETTRONICA PA Dal 06/06/2014 è obbligatoria la fattura elettronica per le P.A. Centrali, rientrano in questa categoria: Caserme dei Carabinieri, Scuole Statali, Ministeri ed Enti previdenziali.
Do-Dots Protocollo di comunicazione
Do-Dots Protocollo di comunicazione Ultimo aggiornamento 10 maggio 2011 rev3 Spiegazioni 10/05/2011 rev2 Primo aggiornamento con attuali comandi 03/05/2011 rev1 - Stesura iniziale 14/05/2010 DOCUMENTO
Collegamento e funzionamento di un normale TNC con il D-RATS http://d-rats.danplanet.com
+ Collegamento e funzionamento di un normale TNC con il D-RATS http://d-rats.danplanet.com A molti è già capitato di utilizzare il software D-RATS con apparati D-STAR o INTERNET, però, non tutti sanno
Come inserire i dati nella Scheda Attività
nikelino.net Strumenti di web marketing Come inserire i dati nella Scheda Attività (Pagina principale) www.nikelino.net Pagina 1 Premessa Cura sempre la qualità delle informazioni che inserisci nelle pagine.
A destra è delimitata dalla barra di scorrimento verticale, mentre in basso troviamo una riga complessa.
La finestra di Excel è molto complessa e al primo posto avvio potrebbe disorientare l utente. Analizziamone i componenti dall alto verso il basso. La prima barra è la barra del titolo, dove troviamo indicato
2010 Ing. Punzenberger COPA-DATA Srl. Tutti i diritti riservati.
2010 Ing. Punzenberger COPA-DATA Srl Tutti i diritti riservati. Tutti i diritti riservati la distribuzione e la copia - indifferentemente dal metodo - può essere consentita esclusivamente dalla dittacopa-data.
Progetto Lauree Scientifiche Liceo Classico L.Ariosto, Ferrara Dipartimento di Matematica Università di Ferrara 24 Gennaio 2012
Progetto Lauree Scientifiche Liceo Classico L.Ariosto, Ferrara Dipartimento di Matematica Università di Ferrara 24 Gennaio 2012 Concetti importanti da (ri)vedere Programmazione imperativa Strutture di
Come inserire un articolo nella Vetrina
nikelino.net Strumenti di web marketing Come inserire un articolo nella Vetrina Consiglio: stampa questo documento, leggilo e tienilo a portata di mano quando inserisci i tuoi articoli nella vetrina. www.nikelino.net
Dott.ssa Adriana Pietramala. Dott.ssa Maria Vittoria Avolio
Corso di Informatica Laurea Triennale - Comunicazione&Dams Dott.ssa Adriana Pietramala a.pietramala@mat.unical.it Dott.ssa Maria Vittoria Avolio avoliomv@unical.it Funzioni predefinite substr(stringa,
Progetto PON C1-FSE-2013-37: APPRENDERE DIGITANDO SECONDARIA VERIFICA INTERMEDIA CORSISTA NOME E COGNOME:
Progetto PON C-FSE-0-7: APPRENDERE DIGITANDO SECONDARIA VERIFICA INTERMEDIA CORSISTA NOME E COGNOME:. Quando si ha un documento aperto in Word 007, quali tra queste procedure permettono di chiudere il
Sommario. Definizione di informatica. Definizione di un calcolatore come esecutore. Gli algoritmi.
Algoritmi 1 Sommario Definizione di informatica. Definizione di un calcolatore come esecutore. Gli algoritmi. 2 Informatica Nome Informatica=informazione+automatica. Definizione Scienza che si occupa dell
TUTORIAL PUBBLICARE e INVIARE CIRCOLARI (v 1.5) -- PRIMA FASE -- PUBBLICAZIONE DI UNA CIRCOLARE (e suoi eventuali allegati)
TUTORIAL PUBBLICARE e INVIARE CIRCOLARI (v 1.5) -- PRIMA FASE -- PUBBLICAZIONE DI UNA CIRCOLARE (e suoi eventuali allegati) 1. Cliccare Area riservata 2. Loggarsi nell Area riservata con Nome utente e
Sistema di numerazione binario, operazioni relative e trasformazione da base due a base dieci e viceversa di Luciano Porta
Sistema di numerazione binario, operazioni relative e trasformazione da base due a base dieci e viceversa di Luciano Porta Anche se spesso si afferma che il sistema binario, o in base 2, fu inventato in
Passo 2: avviare Access e creare una tabella per ogni tipo di entità Costruire la tabella per l entità cliente.
Realizzare un database con Access Di Antonio Bernardo e Mario Bochicchio Esercizio Una catena di supermercati vuole tener traccia dei prodotti acquistati dai clienti. Di ogni cliente si vuole conoscere
Manuale. Interreg. Workflow di Ripianificazione. Manuale workflow di ripianificazione 1/22
Manuale Workflow di Ripianificazione Interreg Manuale workflow di ripianificazione 1/22 Accedere al sito: Introduzione Scegliere il profilo STC Manuale workflow di ripianificazione 2/22 Scegliere dal menu
Corso sul linguaggio Java
Corso sul linguaggio Java Modulo JAVA6 A1 I file testo 1 Prerequisiti Programmazione base in Java Utilizzo di classi e oggetti Modello produttore consumatore Operazioni logiche su struttura file 2 1 Introduzione
Gestione Rapporti (Calcolo Aree)
Gestione Rapporti (Calcolo Aree) L interfaccia dello strumento generale «Gestione Rapporti»...3 Accedere all interfaccia (toolbar)...3 Comandi associati alle icone della toolbar...4 La finestra di dialogo
Capitolo 3. L applicazione Java Diagrammi ER. 3.1 La finestra iniziale, il menu e la barra pulsanti
Capitolo 3 L applicazione Java Diagrammi ER Dopo le fasi di analisi, progettazione ed implementazione il software è stato compilato ed ora è pronto all uso; in questo capitolo mostreremo passo passo tutta