6,038 matches
-
Numbers, with an Application to the "Entscheidungsproblem"”; depusă la 28 mai 1936 și susținută la 12 noiembrie), Turing a reformulat rezultatele lui Kurt Gödel din 1931 asupra limitelor demonstrației și computației, înlocuit limbajul formal universal al lui Gödel, pe baze aritmetice, cu instrumentele ipotetice formale și simple ce aveau să fie denumite mașini Turing. El a demonstrat că o astfel de mașină va fi capabilă să efectueze orice calcul matematic posibil dacă acesta este reprezentabil sub forma unui algoritm. El a
Alan Turing () [Corola-website/Science/296617_a_297946]
-
a 40 de ani l-a impus drept pedagog desăvârșit și deschizător de drum prin caracterul modern și aplicativ al ideilor didactice susținute. A redactat numeroase manuale școlare din cele mai diverse domenii: abecedare, cărți de cetire la limba română, aritmetică, geografie. Cele mai cunoscute și apreciate au fost "Etica sau morală filosofică" și "Noțiuni de estetică". S-a retras de la catedră în 1927 la vârsta de 71 de ani. A primit premii ale Academiei Române pentru "Isprăvile lui Păcală" și pentru
Petre Dulfu () [Corola-website/Science/298274_a_299603]
-
---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 lui Woodger
Logică () [Corola-website/Science/297515_a_298844]
-
număr infinit de alte expresii regulată care se potrivesc—specificația nu este unică. Cele mai multe formalisme oferă următoarele operațiuni pentru a construi expresii regulate. Aceste construcții pot fi combinate pentru a forma expresii arbitrar de complexe, așa cum se pot construi expresii aritmetice din numerele și operațiile +, −, ×, ÷. De exemplu, codice 17 și sunt ambele șabloane valabile care se potrivesc cu aceleași șiruri ca în exemplul anterior, codice 12. Sintaxa exactă a expresiilor regulate variază de la instrument la instrument și de la context la context; mai multe
Expresie regulată () [Corola-website/Science/317028_a_318357]
-
serie de instituții cu rol educațional, dar acestea au fost foarte puține și fără realizări notabile la scara societății. Aceaste „școli” sau „academii” ofereau o educație predominat de natură religioasă, precum și câteva noțiuni de educație științifică elementară (scrisul, cititul, operațiile aritmetice de bază, unele limbi străine, elemente de geografie, etc.) Limbile de predare au fost de regulă greaca și slavona (în Țara Românească și Moldova) și latina în Transilvania. Primele așezăminte de tip școlar au apărut pe lângă mănăstiri și aveau ca
Istoria educației în România () [Corola-website/Science/315676_a_317005]
-
observa de asemenea diferența dintre cvartă P4 și cvintă P5: spre deosebire de cvintă, cvarta perfectă devine mai disonantă cu adăugarea unei octave (P11=P8+P4), similar cu intervalele mici. Există numeroase alte corespondențe între diferite intervale. Cele mai importante sunt mediile aritmetice și armonice între P1, P5, P4 și P8, relații care pot fi verificate ușor folosind rapoartele din tabelul de mai sus. M3=(P1+P5)/2 M6=(P4+P8)/2 2/m3=1/P1+1/P5 2/m6=1/P4+1
Interval (muzică) () [Corola-website/Science/316025_a_317354]
-
a este una dintre cele 4 operații aritmetice elementare; este inversul adunării, însemnând că dacă începem cu orice număr la care adăunăm orice numar, apoi scădem numărul pe care l-am adunat, ne întoarcem la numărul cu care am început. a este reprezentată prin semnul minus. Denumirile membrilor
Scădere () [Corola-website/Science/316154_a_317483]
-
tipul variabilelor nu trebuie declarat: +, - Adunare, scădere Prescurtările din limbajul C sunt și ele permise: &&, ||, ! AND, OR, NOT ==, != Egal, diferit. $0; $1,$2,$3... Câmpurile din linia de date. Structurile de control sunt foarte similare cu cele din limbajul C. Aritmetice: sqrt(), log(), exp(), int() Funcțiile "printf" și "sprintf" sunt preluate direct din limbajul C. Adițional, AWK suportă și o formă prescurtată de print: function add three (number) { Funcția poate fi apelată ca length($0) > 80 Numai "patternul" este specificat. Implicit, "acțiunea
AWK () [Corola-website/Science/320050_a_321379]
-
în memorie, să fie privite de către alte instrucțiuni drept date de prelucrat/modificat dinamic („în mers”), după necesitate. UAL este din multe puncte de vedere „creierul” calculatorului. Aceasta este capabilă să efectueze mai multe tipuri de operații, de exemplu operații aritmetice (adunare, înmulțire ș.a.), operații de comparație, operații de manevrare a datelor (duplicare, mutare, trunchiere ș.a.) precum și operații care influențează ordinea și fluxul instrucțiunilor. Sistemele de I/ O sunt dispozitive prin care calculatorul preia informații din lumea exterioară și raportează înapoi
Arhitectură von Neumann () [Corola-website/Science/321145_a_322474]
-
sfârșit, se adună pe măsură ce sosesc. În cazul în care suma obținută nu este 0, înseamnă că datele sunt eronate și atunci secvența trebuie retransmisă. Corecția erorii nu este posibilă. În cazul metodei CRC se calculează suma de control prin împărțire aritmetică. Secvența de biți este împărțită cu un număr special ales. Împărțirea se face în modulo 2, adică folosind operatorul XOR. Restul împărțirii este de fapt semnatura care va fi adaugată la sfârțit, dupa biții utili. Folosind algoritmul de la codurile Hamming
Cyclic redundancy check () [Corola-website/Science/321164_a_322493]
-
care era: cu o aproximație de 1 la 10.000 (!). Egiptenii au acordat atenție acelor volume care le erau mai folositoare: piramidă, trunchiul de piramidă și cilindrul. V=h/3(a pătrat +ab+ b la pătrat). Babilonienii aveau tăblițe pur aritmetice referitoare la numerele pitagoreice. Pe celebra tăbliță de lut ars Plimpton 322 se află scrise cu litere cuneiforme un tabel de numere care s-au dovedit a fi o listă de triplete de numere pitagoreice. Un alt text presupune cunoscută
Istoria geometriei () [Corola-website/Science/320590_a_321919]
-
schimbări și o dimensiune redusă a codului utilizatorului. ex: JB bit ,rel - salt relativ dacă bit este 1; ANL C, bit - SI logic între Carry și bit; SETB bit - setează direct bit; Deoarece 8051 are o arhitectură acumulator, toate operațiile aritmetice trebuie să folosească acumulatorul, ex: ADD A, 020h va adăuga valoarea din locația de memorie internă RAM 0x20 în acumulator. Pentru a programa 8051, nu este nevoie să se stăpânească aceste instrucțiuni. Având disponibile compilatoare de C de bună calitate
Intel MCS-51 () [Corola-website/Science/320976_a_322305]
-
dispozitiv a fost probabil sub forma bețelor de numărat. Alte dispozitive pentru înregistrarea numerelor folosite în Cornul Abundenței erau formele de lut, care reprezentau numărul unor lucruri, probabil animale sau produse agricole, ținute în vase. Abacul era folosit pentru calcule aritmetice încă din 2400 î.e.n. Mai multe variante de calculatoare analogice au fost construite în antichitate și în evul mediu pentrua efectuarea de calcule astronomice. Printre acestea se numără mecanismul Antikythera și astrolabul din Grecia antică (c. 150-100 î.e.n.), acestea fiind
Istoria mașinilor de calcul () [Corola-website/Science/315303_a_316632]
-
de ramificație. O magistrală de date ducea datele de la procesorul principal și memoria principală cu viteza ciclului de fetch-execute a procesorului, iar celelalte magistrale de date deserveau dispozitivele periferice. Pe PDP-1, ciclul memoriei era de 5 microsecunde; astfel, majoritatea instrucțiunilor aritmetice durau 10 microsecunde ( de operații pe secundă) deoarece majoritatea operațiilor durau cel puțin două cicluri de memorie: unul pentru aducerea instrucțiunii, celălalt pentru aducerea operanzilor. În timpul celei de-a doua generații, au început să fie folosite din ce în ce mai mult terminalele la
Istoria mașinilor de calcul () [Corola-website/Science/315303_a_316632]
-
rapid prototipul pentru Ferranti Mark I, primul calculator generic comercial din lume. SSEM avea lungimea cuvântului de 32 de biți și o memorie de 32 cuvinte. A fost proiectat să fie cel mai simplu calculator cu program stocat; singura operație aritmetică pe care o putea efectua era scăderea. Primul dintre cele trei programe scrise pentru această mașină găsea cel mai mare divizor al numărului 2 (), un calcul despre care se știa la acea vreme că avea să dureze foarte mult—pentru
Manchester Small-Scale Experimental Machine () [Corola-website/Science/315413_a_316742]
-
și carcasele metalice ale GPO de la Bletchley. Până în iunie 1948, SSEM fusese construit și funcționa. El avea lungime, înălțime, și cântărea aproximativ o tonă. Mașina conținea 550 de tuburi—300 diode și 250 pentode—și avea un consum de . Unitatea aritmetică a fost construită cu pentode EF50, folosite pe scară largă în timpul războiului. SSEM folosea un tub Williams pentru a obține un spațiu de memorie cu acces aleator de 32 de cuvinte de 32 de biți, un al doilea pentru un
Manchester Small-Scale Experimental Machine () [Corola-website/Science/315413_a_316742]
-
al mașinii era aranjat cu cifrele cel mai puțin semnificative la stânga; astfel, numărul zecimal 1 era reprezentat pe trei biți ca "100", și nu ca "001". Operațiunile negative ale SSEM erau cauzate de lipsa de hardware pentru efectuarea altor operațiuni aritmetice decât scăderea. Se considera că nu este necesară construirea unui sumator înainte de începerea testării, întrucât adunarea putea fi ușor implementată prin scădere, și anume formula 1 poate fi calculat ca formula 2 Deci adăugarea a două numere, X și Y, necesită patru
Manchester Small-Scale Experimental Machine () [Corola-website/Science/315413_a_316742]
-
rezultate tipărite cu ajutorul unui dispozitiv IBM cum ar fi IBM 405. ENIAC utiliza numărătoare ciclice cu zece poziții pentru a stoca numerele; fiecare cifră folosea 36 de tuburi electronice, din care 10 erau triodele duale ce compuneau bistabilii numărătorului. Operațiile aritmetice se efectuau prin numărarea impulsurilor în numărătoarele ciclice și generarea de impulsuri de transport în cazul în care numărătorul aflat la valoarea maximă era incrementat și se reseta la 0, ideea fiind cea de a emula prin electronică funcționarea roților
ENIAC () [Corola-website/Science/315414_a_316743]
-
în încercarea de a descoperi o relație matematică exactă între ele. Rezultatul cel mai faimos al investigațiilor sale este cunoscut sub numele de legea Weber-Fechner, care poate fi exprimată după cum urmează: Pentru că intensitatea unei senzații să poată crește în progresie aritmetică, stimulul trebuie să crească în progresie geometrica." Deși exploatată cu succes doar în anumite limite, legea s-a dovedit a fi extrem de utilă. Din păcate, de la teoria solidă că intensitatea unei senzații crește prin sporirea definită a stimulului, Fechner a
Gustav Theodor Fechner () [Corola-website/Science/317298_a_318627]
-
anul 2008 aparține vechiul post, Jetix, înlocuit de Disney Channel. Audiența din ianuarie până în septembrie 2009 aparține vechiului post Jetix. Din septembrie până la 31 decembrie 2009 audiența este exclusiv pentru Disney Channel. Audiența generală din 2009 este calculată folosind media aritmetică pentru fiecare lună în parte, adunate apoi.
Jetix () [Corola-website/Science/317306_a_318635]
-
a fost crescut până la vârsta de 7 ani de prințul Tadayasu Nakayama, care l-a crescut și pe tatăl lui, împăratul Meiji. Din martie 1885, Prințul Yoshihito s-a mutat la Palatul Aoyama, unde era îndrumat dimineața la citire, scriere, aritmetică și morală, iar după-amiaza la sport, însă progresul a fost lent din cauza sănătății precare și a febrelor frecvente. Din 1886, lui i s-a predat într-o clasă împreună cu 15-20 de colegi selectați din nobilimea japoneză la o școală specială
Împăratul Taishō () [Corola-website/Science/316411_a_317740]
-
sub următorea formă: Cartea conține descântece de colăcit, de mânătură, adică de alungarea bolii de la o persoană, de muroni, de bubă, miguloși, gâlci, albeață, junghi, spaimă, de șarpe de întorcere. Cele din urmă se caracterizează prin repetiții în ordinea numărătorii aritmetice: Cele mai numeroase sunt descântecele de deochi, 20 la număr, care se rosteau cam toate la fel, la dureri de cap sau amețeli: Prin miracolul și prin formulele lor, descântecele au corespondență cu alte specii ale literaturii populare, printre care
Enea Hodoș () [Corola-website/Science/322322_a_323651]
-
în secțiunea anterioară, rezultă echivalența sumabilității seriilor și prin metode liniare, stabile și care respectă produsul Cauchy (compatibile cu produsul Cauchy). Pentru a găsi suma seriei conform metodei lui Cesàro (C, 1), dacă aceasta este definită, este necesar calculul mediilor aritmetice ale sumelor parțiale ale seriei. Sumele parțiale sunt: și mediile aritmetice ale acestor sume parțiale sunt: Acest șir nu converge (întrucât conține două subșiruri convergente la valori diferite: termenii impari tind la , iar cei pari la 0), deci nu este
1 − 2 + 3 − 4 + · · · () [Corola-website/Science/316973_a_318302]
-
stabile și care respectă produsul Cauchy (compatibile cu produsul Cauchy). Pentru a găsi suma seriei conform metodei lui Cesàro (C, 1), dacă aceasta este definită, este necesar calculul mediilor aritmetice ale sumelor parțiale ale seriei. Sumele parțiale sunt: și mediile aritmetice ale acestor sume parțiale sunt: Acest șir nu converge (întrucât conține două subșiruri convergente la valori diferite: termenii impari tind la , iar cei pari la 0), deci nu este sumabilă după metoda (C, 1) a lui Cesàro. Există două generalizări
1 − 2 + 3 − 4 + · · · () [Corola-website/Science/316973_a_318302]
-
de metode de sumare, cu "n" număr natural arbitrar. Suma (H, 1) este sumarea lui Cesàro explicată mai sus, iar metodele succesive din șir se obțin prin aplicarea repetată a metodei de sumare a lui Cesàro pe șirurile de medii aritmetice anterioare. Mai sus, subșirul mediilor pare converge la , în timp ce cel al mediilor impare este constant egal cu 0, de aceea șirul (H, 2) al mediilor aritmetice ale mediilor aritmetice (H, 1) / (C, 1) va converge către media aritmetică dintre 0
1 − 2 + 3 − 4 + · · · () [Corola-website/Science/316973_a_318302]