PAWLGIC - LICENZA B PAWTGIC è un programma per manipolare le espressioni booleane. Il programma gestisce entrambi ...
Scarica ora

PAWLGIC - LICENZA B Classifica e riepilogo

PAWLGIC - LICENZA B Tag

booleano Convertitore booleano. Polinomi booleani.

PAWLGIC - LICENZA B Descrizione

PawLogic è un programma per manipolare le espressioni booleane. Il programma gestisce entrambe le espressioni di logica proposizionale e quantificato formule booleani (QBF). La logica è ampiamente usato oggi. Essa costituisce la base della matematica metodi di prova. E 'utilizzato in verifica formale come modello simbolico il controllo e la verifica di equivalenza combinatoria e sequenziale circuiti. La logica è anche dietro configuratori di prodotto e la realizzazione di telecomandi e incroci semaforici. E la logica è qualcosa che tutti noi l'uso quotidiano. Per esempio, la maggior parte di noi prontamente accettare il ragionamento seguente:. "Se piove, ho bagnato Piove Perciò io. si bagna." Questa è la logica applicata. PawLogic consente di lavorare e sperimentare con la logica. Se sei un allievo di logica, si ottiene un prezioso strumento per aiutarvi nella vostra studi. Se sei un professionista che lavora con la logica, si ottiene un sempre programma logico accissible per l'uso sia in ufficio, a casa o in movimento. E se sono solo interessato al mondo del logica, ecco la tua occasione per ottenere esperienza hands-on. PawLogic funziona sotto PalmOS 2.0 e superiori. Copyright © 2000 Poul F. Williams. Tutti i diritti riservati. Visita la pagina web PawEng per ulteriori informazioni. Abbiamo una linea a disposizione il manuale compreso un certo numero di screenshot.

PAWLGIC - LICENZA B Software correlato