equazioni
Enciclopedia dei ragazzi (2005)
equazioni
Roberto Levi
La traduzione matematica di un problema
Le equazioni sono lo strumento per affrontare quasi tutti i problemi che richiedono una risposta quantitativa. Spesso il modo più efficace [...] a trovare la soluzione del problema. Si incontrano equazioni in moltissime discipline, come la fisica, l'economia, l'informatica. In particolare, la fisica traduce in equazioni, cioè in linguaggio matematico, le sue teorie
Una storia antica
La ...
Leggi Tutto
CATEGORIA:
ALGEBRA
combinatorio
Enciclopedia on line
Filosofia
G.W. Leibniz chiamò arte c. quella che R. Lullo aveva battezzato ars magna, e cioè il simboleggiamento dei vari concetti in segni geometrici o algebrici, tale che permettesse di combinarli reciprocamente [...] di simboleggiare i concetti in segni geometrici o algebrici si rifarà più tardi la logica matematica.
Informatica
Ottimizzazione combinatoria
Locuzione, usata anche nella ricerca operativa, per indicare quei problemi di ottimizzazione in cui ...
Leggi Tutto
elettronica
Dizionario delle Scienze Fisiche (1996)
elettronica
elettrònica [Der. dell'ingl. electronics, da electron "elettrone"] [ELT] Termine introdotto intorno al 1940 per indicare l'insieme delle parti della fisica e dell'elettrotecnica che s'occupano [...] con la scienza e la tecnica del-l'informazione (W.L. Everitt, 1952). Attualmente, con la nascita e lo sviluppo dell'informatica quale scienza a sé stante, l'e. è ritornata, in un certo senso, alla precedente definizione operativa; essa si qualifica ...
Leggi Tutto
ordine
Dizionario delle Scienze Fisiche (1996)
ordine
órdine [Der. del lat. ordo -inis] [LSF] (a) Disposizione regolare di più cose secondo una regola prefissata; (b) il grado più o meno grande di organizzazione interna di un sistema complesso, relativ. [...] l'entropia, risultando l'o. tanto maggiore quanto minore è l'entropia: v. ordine; (c) sinon. di comando e, nell'informatica, di istruzione. ◆ [FML] O. a corto raggio (corta distanza, corta portata), a lungo raggio (lunga distanza, lunga portata): l'o ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
–
BIOFISICA
–
ELETTROLOGIA
–
FISICA ATOMICA E MOLECOLARE
–
FISICA DEI SOLIDI
–
FISICA MATEMATICA
–
MECCANICA
–
MECCANICA DEI FLUIDI
–
MECCANICA QUANTISTICA
–
OTTICA
–
STORIA DELLA FISICA
–
TERMODINAMICA E TERMOLOGIA
–
ALGEBRA
–
ANALISI MATEMATICA
–
STATISTICA E CALCOLO DELLE PROBABILITA
–
EPISTEMOLOGIA
–
METAFISICA
Uhlenbeck, Karen
Enciclopedia on line
Matematica statunitense (n. Cleveland 1942). Docente dell'Università di Austin, nota per i suoi contributi nel calcolo delle variazioni, un campo dell’analisi matematica, e per i suoi lavori fondamentali [...] destinato a giovani matematiche. U. ha vinto nel 2000 la National Medal of Science per la matematica e l’informatica e nel 2007 il premio Steele della American Mathematical Society. Nel 2019 ha ricevuto il prestigioso premio Abel, prima donna ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
matematica
Enciclopedia on line
Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] i quali, con l’avvento degli elaboratori elettronici, si sono sviluppati anche in collegamento con i temi di base dell’informatica, per es. per quanto riguarda i concetti di algoritmo, di programma, di calcolabilità, e con le ricerche nel campo dell ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
–
MATEMATICA APPLICATA
–
STORIA DELLA MATEMATICA
–
EPISTEMOLOGIA
–
METAFISICA
ricorsività
Enciclopedia on line
ricorsività La proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., o della ricorsione, o computabilità, la disciplina che si occupa di fornire una caratterizzazione matematica del concetto [...] di algoritmo. Lo sviluppo degli elaboratori ha poi fatto della r. un’area di studio rilevante anche per l’informatica: un programma per un elaboratore non è che un algoritmo espresso in un linguaggio comprensibile per quell’elaboratore. Perciò ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
programmazione lineare
Enciclopedia della Scienza e della Tecnica (2008)
programmazione lineare
Mauro Cappelli
Insieme dei metodi di ottimizzazione di un criterio lineare con vincoli lineari di uguaglianza o disuguaglianza. Rappresenta un caso particolare del problema più [...] lineari interi (cioè a variabili intere) l’algoritmo più noto è detto branch and bound. Per problemi lineari misti si impiega l’algoritmo branch and cut. Tutti e tre gli algoritmi rappresentano metodi di risoluzione esatti.
→ Informatica teorica ...
Leggi Tutto
CATEGORIA:
ANALISI MATEMATICA
OPERATIVA, RICERCA
Enciclopedia Italiana - V Appendice (1993)
OPERATIVA, RICERCA
Lucio Bianco-Mario Lucertini
(App. III, II, p. 315; IV, II, p. 669)
Premessa. − La r.o. è una disciplina che, a partire da radici culturali diversificate, ha acquisito soltanto negli [...] problemi combinatori, di ottimo su grafi e a numeri interi, hanno avuto un notevole sviluppo con l'affermarsi dell'informatica, le cui funzioni sono essenzialmente di tipo binario, e con l'evoluzione dei modelli gestionali, in cui vengono affrontati ...
Leggi Tutto
semantica
Enciclopedia della Scienza e della Tecnica (2008)
semantica
Silvio Bozzi
Studio delle proprietà delle teorie e dei linguaggi formali che, nella logica matematica, riguardano i rapporti tra espressioni linguistiche e loro interpretazioni. In questo [...] insiemistiche; possiamo così interpretare le teorie in categorie come i topos di prefasci o fasci ottenendo risultati che non hanno corrispettivo se ci si limita a interpretazioni puramente insiemistiche.
→ Informatica teorica; Logica matematica ...
Leggi Tutto
CATEGORIA:
LOGICA