10,807 matches
-
cunoașterii științifice. Logica matematică Are în practica filozofică și științifică două înțelesuri: a.Un înțeles mai larg, anume logică expusă cu ajutorul limbajelor formalizate; din punct de vedere practic prin logică matematică se înțelege aplicarea matematicii la studiul logicii formale. Logica matematică este o consecință a evoluției științei și în special a aplicării matematicii la logică. Neclaritatea și imprecizia limbajului natural au fost ameliorate prin matematică. Sub acest înțeles logica matematică este același lucru cu logica simbolică și logistica. b.Logica disciplinelor
Logică () [Corola-website/Science/297515_a_298844]
-
logică matematică se înțelege aplicarea matematicii la studiul logicii formale. Logica matematică este o consecință a evoluției științei și în special a aplicării matematicii la logică. Neclaritatea și imprecizia limbajului natural au fost ameliorate prin matematică. Sub acest înțeles logica matematică este același lucru cu logica simbolică și logistica. b.Logica disciplinelor matematice Logica deontică Logica pragmatică Logica tehnică Logica inductivă Studiază formele gândirii, ce pornesc de la judecăți individuale, legate direct de fapte și obțin judecăți cu grade de generalitate crescânde
Logică () [Corola-website/Science/297515_a_298844]
-
este o consecință a evoluției științei și în special a aplicării matematicii la logică. Neclaritatea și imprecizia limbajului natural au fost ameliorate prin matematică. Sub acest înțeles logica matematică este același lucru cu logica simbolică și logistica. b.Logica disciplinelor matematice Logica deontică Logica pragmatică Logica tehnică Logica inductivă Studiază formele gândirii, ce pornesc de la judecăți individuale, legate direct de fapte și obțin judecăți cu grade de generalitate crescânde. Sensul inferării este de la judecăți individuale către cele particulare, apoi către cele
Logică () [Corola-website/Science/297515_a_298844]
-
modernă neortodoxă: ---Logica modală ---Logica polivalentă ---Sistemele nonstandard de implicație: implicația strictă, „entailment” ș.a. ---Sistemele nonstandard de cuantificare: pluralitate, ș.a. a.Sintaxa logică b.Semantica logică c.Pragmatica logică d.Lingvistica logică ---Teoria structurii ---Teoria înțelesului ---Teoria validității a.Dezvoltări matematice ►Dezvoltări aritmetice În ordine istorică aceste dezvoltări au fost primele aplicații ale logicii simbolice. Logica matematică a debutat ca o logică a matematicii. b.Dezvoltări științifice Aplicații fizice • Logica cuantică • Teoria modalităților fizice ori cauzale Aplicații biologice •Aplicații în stilul
Logică () [Corola-website/Science/297515_a_298844]
-
de cuantificare: pluralitate, ș.a. a.Sintaxa logică b.Semantica logică c.Pragmatica logică d.Lingvistica logică ---Teoria structurii ---Teoria înțelesului ---Teoria validității a.Dezvoltări matematice ►Dezvoltări aritmetice În ordine istorică aceste dezvoltări au fost primele aplicații ale logicii simbolice. Logica matematică a debutat ca o logică a matematicii. b.Dezvoltări științifice Aplicații fizice • Logica cuantică • Teoria modalităților fizice ori cauzale Aplicații biologice •Aplicații în stilul lui Woodger •Logica cibernetică Aplicații sociologice •Logica normelor • Logica evaluării Aplicații legale Procesul de matematizare precede
Logică () [Corola-website/Science/297515_a_298844]
-
științe numite ingineria programării. Nu cu mult timp după dezvoltarea calculatorului s-a constatat că aceleași rutine (părți de program (subprograme) cu scop bine definit) se pot uneori folosi în mai multe programe diferite; un exemplu fiind calcularea unor funcții matematice. Din motive de eficiență, versiunile standard ale acestor rutine au început să fie adunate în biblioteci de programe (în engleză: "library", "libraries") și puse la dispoziția tuturor celor interesați. Un alt set foarte necesar de rutine s-a dovedit a
Calculator () [Corola-website/Science/296716_a_298045]
-
bazate pe arhitectura von Neumann, era folosit la gestiunea stocurilor încă din anii 1950. O dată cu apariția microprocesoarelor și ieftinirea semnificativă a calculatoarelor, acestea și-au găsit aplicare în contabilitate, birotică, alcătuirea de previziuni meteo și de altă natură, în calculele matematice repetitive precum și în calcul tabelar. În domeniul artelor, calculatoarele sunt întrebuințate pentru generarea și editarea de sunet, imagini și video. Astăzi aceste activități sunt efectuate aproape exclusiv pe calculator (computer). De asemenea, industria jocurilor pe calculator este una foarte lucrativă
Calculator () [Corola-website/Science/296716_a_298045]
-
ar fi sed și AWK și în analiza lexicală. Multe limbaje de programare furnizează capabilități regex fie built-in, fie prin intermediul unor . Sintagma "expresii regulate" (și, în consecință, "regexuri") este adesea folosită cu referire la "sintaxa" standard", textuală" (distinctă de notația matematică descrisă mai jos) pentru reprezentarea "șabloanelor" cărora trebuie să se conformeze textul găsit. Fiecare caracter dintr-o expresie regulată (adică fiecare caracter din șirul care descrie șablonul) este considerat a fi un (caracter cu semnificație specială), sau un caracter obișnuit
Expresie regulată () [Corola-website/Science/317028_a_318357]
-
unde "s" reprezintă la rândul său o expresie regulată mai simplă, care a fost deja tradusă în AFN-ul "N"("s"). Expresii regulate își au originea în 1956, când matematicianul Stephen Cole Kleene a descris limbajele regulate cu ajutorul notației sale matematice numită "mulțimi regulate". Acestea au apărut în , în subdomenii ale teoriei automatelor (modelelor de calcul) și în descrierea și clasificarea limbajelor formale. O altă implementare timpurie a a fost limbajul , care nu folosea expresii regulate, ci propriile sale construcții de
Expresie regulată () [Corola-website/Science/317028_a_318357]
-
-și minimizeze starea energetică, el trebuie să minimizeze numărul de molecule de la margine și deci să-și minimizeze aria suprafeței. Ca rezultat al minimizării ariei, suprafața unui lichid va prelua forma cea mai uniformă pe care o poate avea (demonstrația matematică a faptului că formele „uniforme” minimizează aria suprafeței se bazează pe ecuația Euler-Lagrange). Cum orice curbură a formei suprafeței duce la mărirea ariei, va rezulta și o energie mai mare. În consecință, suprafața va împinge înapoi înspre orice curbură în
Tensiune superficială () [Corola-website/Science/317039_a_318368]
-
trebuie să existe o forță F, tangentă la suprafața lichidului și normală la marginea suprafeței; forța aceasta se numește forță de tensiune superficială. Acestă forță este direct proporțională cu lungimea "l" a marginii membranei de lichid; pentru a scrie expresia matematică a forței de tensiune superficială se introduce un coeficient de proporționalitate, numit coeficientul de tensiune superficială, reprezentat prin simbolul "σ" și care depinde de natura lichidului. Dependența forței de tensiune superficială de lungime se exprimă prin formula: formula 1 . Coeficientul tensiunii
Tensiune superficială () [Corola-website/Science/317039_a_318368]
-
razei. Pentru picături nu foarte mici efectul este neglijabil, dar diferența de presiune devine enormă atunci când picăturile ajung la dimensiuni moleculare. Pentru a găsi forma suprafeței minimale pentru pelicula limitată de un cadru cu o geometrie arbitrară folosind doar mijloace matematice, se impune rezolvarea unui sistem de ecuații diferențiale cuplate, supuse condițiilor la frontieră, care este un calcul dificil. Realizând respectivul cadru din sârmă și scufundându-l într-o soluție de săpun, între tronsoanele cadrului se va forma o peliculă de
Tensiune superficială () [Corola-website/Science/317039_a_318368]
-
de tratate, poezii, polemici și compilații. Biblioteca din Cairo avea peste două milioane de volume, iar cea din Tripoli se pare că deținea peste trei milioane de lucrări până să fie distrusă de cruciați. De asemenea, lucrările arabe în domeniul științelor matematice scrise în perioada evului mediu depășesc ca număr și importanță pe cele scrise în perioada clasică greco-romană. O transformare calitativă pronunțată au suferit-o bibliotecile, de la simple depozite de manuscrise la adevărate biblioteci publice în sensul modern al cuvântului, centre
Epoca de aur a islamului () [Corola-website/Science/317215_a_318544]
-
Al-Tusi, în lucrarea "Tadhirah", aduce o critică modelului geocentric. Astronomii arabi au inventat si perfecționat un număr mare de instrumente, care le permiteau o bună cunoștere și observare a cerului, cum ar fi astrolabul (considerat o adevărată bijuterie a calculului matematic), instrumente de măsurare a timpului (de la cadrane solare la mecanisme sofisticate de orologerie). Astrolabul a fost inventat de Hiparh și perfecționat de către islamici. Astronomul Al-Farghani a dezbătut problema mișcării corpurilor cerești. Opera sa a fost tradusă în latină în secolul
Epoca de aur a islamului () [Corola-website/Science/317215_a_318544]
-
filozofie aparținând unei multitudini de culturi: China, India, Grecia antică. Averroes concepe o enciclopedie medicală și aduce comentarii și completări întregului sistem aristotelician. Al-Kindi, considerat primul mare filozof al islamului, studiază de asemenea filozofia clasică antică și este întemeietorul gândirii matematice în cadrul filozofiei - logica. Filozofi arabi ca Al-Kindi, Averroes și persani ca Avicenna au jucat un rol important în păstrarea operelor lui Aristotel. Ideile lor filozofice, libere de orice influență religioasă, ajung să fie dominante în lumea creștină și musulmană. Acești
Epoca de aur a islamului () [Corola-website/Science/317215_a_318544]
-
În mecanică, teorema virialului face legătura între media temporală a energiei cinetice totale formulă 1 a unui sistem stabil și media în timp a energiei potențiale totale formulă 2. Din punct de vedere matematic teorema spune că: unde F reprezintă forță ce acționează asupra particulei "k" ce se află la r față de origine. Cuvântul virial provine din latină de la "vis" care înseamnă „forță” sau "„energie”. A fost introdus de către Clausius în 1870. Fritz Zwicky
Teorema virialului () [Corola-website/Science/317213_a_318542]
-
netemperata, care sunt și sistemele de intonație natural, folosită de om din cele mai vechi timpuri, având o arie de răspândire ce cuprinde întreg globul, au ceea ce se numeste intonație absolută. - Sistemul de intonație temperat, este un sistem artificial, creat matematic de om, preluat de teoria muzicii europene și folosit în creația culta europeană începând cu anul 1691, când a fost enunțat de teoreticianul Andreas Werkmeister. Consacrarea practică a fost făcută de Johann Sebastian Bach, prin cele două volume ale “ Clavecinului
Sisteme de intonație () [Corola-website/Science/317608_a_318937]
-
alte cazuri sunt listate în . Când toți termenii seriei sunt definiți iar raza de convergență nu este zero, atunci seria definește o funcție analitică. O astfel de funcție și prelungirea ei analitică este numită funcție hipergeometrică. Se pot obține serii matematice interesante în cazul în care raza de convergență este 0, de exemplu dezvoltarea asimptotică a funcției gamma incomplete: care poate fi scrisă sub forma: formula 26. Totuși, folosirea termenului de "serie hipergeometrică" se restrânge în mod uzual la cazul în care
Serie hipergeometrică () [Corola-website/Science/317625_a_318954]
-
de N. Kawakami, A. Okiji în 1981) sunt de asemenea bazate pe metoda Bethe Ansatz. Cuvântul [Der] "Ansatz" (plural: "Ansätze" &), care înseamnă "început", "bază", "concepție", "mod de abordare" este un cuvânt german, care este larg răspândit în literatura fizică și matematică. "Ansatz"-ul se poate referi la o formulare ipotetică, dar semnificativă, pentru o funcție matematică, care nu se bazează pe orice teorie sau principiu.
Bethe Ansatz () [Corola-website/Science/317747_a_319076]
-
Cuvântul [Der] "Ansatz" (plural: "Ansätze" &), care înseamnă "început", "bază", "concepție", "mod de abordare" este un cuvânt german, care este larg răspândit în literatura fizică și matematică. "Ansatz"-ul se poate referi la o formulare ipotetică, dar semnificativă, pentru o funcție matematică, care nu se bazează pe orice teorie sau principiu.
Bethe Ansatz () [Corola-website/Science/317747_a_319076]
-
octombrie 1863, la Londra - d. 7 iulie 1942, la Lausanne) a fost un matematician englez. Printre domeniile în care și-a adus contribuții, putem enumera: teoria măsurii, seriile Fourier, calculul diferențial și funcțiile cu mai multe variabile complexe. În analiza matematică, două tipuri de inegalități îi poartă numele: inegalitatea lui Young și inegalitatea Hausdorff-Young. A colaborat cu soția sa, matematiciana Grace Chisholm Young. Fiica acestora, Laurence Chisholm Young, urmează drumul părinților, fiind la rândul acesteia o cunoscută matematiciană.
William Henry Young () [Corola-website/Science/318039_a_319368]
-
este totdeauna posibil. Interpretarea (inversului) temperaturii absolute ca factor integrand al cantității de căldură este datorită lui Helmholtz. Faptul că pentru n=2 găsirea factorului integrand este simplă și totdeauna posibilă face ca termodinamica să poată fi prezentată fără dificultățile matematice legate de forme diferențiale generale: într-adevăr, mărimile legate de obiectele standard de studiu (gazele) sunt forme diferențiale cu n=2 :formula 28 Dacă ne restrângem la astfel de sisteme, cazul n=3 - care se dovedește a fi esențial pentru analiza
Teorema de integrabilitate a lui Frobenius () [Corola-website/Science/318009_a_319338]
-
Brainin, Ilia Passek, și bunica sa, Ana Stavițka, locuiau în propria lor casă, în vecinătatea Chișinăului. În această casă Brainin și-a petrecut verile în copilărie. Membrii familiei Passek încă mai trăiesc în Chișinău. Brainin a primit educație în domeniul matematic, lingvistic și muzical. Poet, Între anii 1991 și 2000, Brainin a vorbit în mod regulat la Radio Europa Liberă și BBC, participând cu eseurile sale la emisiuni literare. Brainin a dezvoltat metod pedagogică 'Dezvoltare a inteligenței muzicale'. Această metodă este
Valeri Brainin () [Corola-website/Science/318057_a_319386]
-
Această serie provine din serie Taylor a unei funcții. În multe situații "c" este nul, de exemplu în cazul seriei Maclaurin. În astfel de cazuri, seria de puteri are o formă mai simplă: Astfel de serii sunt utilizate în analiza matematică, în combinatorică, dar și în electrotehnică (transformata Z). De asemenea, scrierea zecimală poate fi considerată o aplicație a seriilor de puteri cu coeficienți întregi și având ca argument "x" de valoare 1/10. În teoria numerelor, seriile de puteri se
Serie de puteri () [Corola-website/Science/318079_a_319408]
-
este uniform convergentă în intervalul de convergență a seriei inițiale. Deci, derivata sumei formula 14 este egală cu suma seriei derivatelor termenilor, formula 36. care are ca rază de convergență formula 53. cu coeficienți formula 80 definiți de egalitatea formula 81. formula 83 Marcel Roșculeț, "Analiză matematică", Editura Didactică și Pedagogică, București, 1984
Serie de puteri () [Corola-website/Science/318079_a_319408]