• Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X

prenesso

Dizionario delle Scienze Fisiche (1996)
  • Condividi

prenesso


prenésso [agg. Der. dell'ingl. prenex, che è dal lat. praenexus "unito prima"] [ALG] [FAF] Forma normale p. (dall'ingl. prenex normal form): nella logica matematica, espressione predicativa in cui tutti i quantificatori si trovano all'inizio.

Vedi anche
Latino Pacato Drepànio Pacato Drepànio, Latino (lat. Latinius Pacatus Drepanius). - Retore gallo (sec. 4º d. C.), amico di Ausonio e di Simmaco; capo di una legazione a Roma (389), pronunciò un panegirico di Teodosio, a noi giunto, interessante come documento storico. inglese Lingua ufficiale del Regno Unito di Gran Bretagna e Irlanda del Nord, di alcuni Stati del Commonwealth (Australia, Canada, Nuova Zelanda), delle dipendenze e degli USA; è inoltre la lingua più usata nella Repubblica d’Irlanda, è una delle due lingue ufficiali della Repubblica Sudafricana; è anche alla ... lògica matemàtica lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono essere considerate formalmente come oggetti grafici combinabili tra loro (sintassi) o in relazione ...
Categorie
  • EPISTEMOLOGIA in Filosofia
  • METAFISICA in Filosofia
  • ALGEBRA in Matematica
Vocabolario
prenèsso
prenesso prenèsso agg. [dall’ingl. prenex (usato soltanto nella locuz. seg.), che è dal lat. tardo praenexus «legato, unito davanti»]. – In logica matematica, forma normale p. (ingl. prenex normal form), formula del calcolo dei predicati...
prefisso
prefisso s. m. [dal lat. praefixus, part. pass. sost. di praefigĕre «prefiggere»]. – 1. In linguistica, morfema che viene anteposto alla radice o al tema, nominale o verbale, per la formazione di una nuova parola (per es., s-contento, in-trattabile,...
  • Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
  • Ricerca
    • Enciclopedia
    • Vocabolario
    • Sinonimi
    • Biografico
    • Indice Alfabetico

Istituto della Enciclopedia Italiana fondata da Giovanni Treccani S.p.A. © Tutti i diritti riservati

Partita Iva 00892411000

  • facebook
  • twitter
  • youtube
  • instagram
  • Contatti
  • Redazione
  • Termini e Condizioni generali
  • Condizioni di utilizzo dei Servizi
  • Informazioni sui Cookie
  • Trattamento dei dati personali