Axtarış nəticələri

Formal metodlar — proqram təminatının analizi, dizaynı və təsdiqi üçün riyazi və formal yanaşmaların tətbiqini ifadə edir. Bu metodlar proqram sistemlərinin...

Giriş-çıxış modeli — ölkə iqtisadiyyatında sahələrarası istehsal münasibətlərini xarakterizə edən iqtisadi və riyazi balans modeli. Bir sənayedəki məhsul...

nəzərə alınmaqla alətlərin adekvat qiymətləndirilməsini əldə etməkdir. Formal olaraq, buraya varyans-orta təhlil çərçivəsində alətlər portfelinin optimallaşdırılması...

nəzəriyyəsi həll edə bilərdi. Kvant mexanikasının əsas prsinsipləri nəzəriyyənin formal uğurlarına baxmayaraq ilk illərdə bir çox cəhətdən qeyri-aydın olaraq qalırdı...

gözlənilən faydanı maksimum dərəcədə artırmaq kimi xarakterizə edilə bilər. Daha formal olaraq ortaya çıxan gözlənilən faydalılıq fərziyyəsi, bəzi aksiomalar yerinə...

birləşdirdiyindən metodoloji cəhətdən fərdiyyətlidir. Ümumiləşdirmə üçün formal məntiq elementlərindən istifadə edərək təhlil ictimai rifah funksiyasının...

sabit qalmasına kömək edir. Ralph, P. and Wand, Y. (2009). A proposal for a formal definition of the design concept. In Lyytinen, K., Loucopoulos, P., Mylopoulos...

Proqramlaşdırma dili nəzəriyyəsi — proqramlaşdırma dilləri kimi tanınan formal dillərin dizaynı, tətbiq olunması, təhlili, xarakteristikası və təsnifatı...

nominal monarxiya dövləti. Bu dövrdə Macarıstanda kral tacı və monarxiya formal olaraq qorunsa da, ölkənin real rəhbəri regent titulunu daşıyan Mikloş Horti...

və fəzalar, kəmiyyətlər və onların dəyişmələri kimi mövzuları əhatə edən formal elm. Riyaziyyatın anlayışları son dərəcə mücərrəddir, mühakimələri maksimal...

nəzəriyyələrinə bələdçidir. Lomaççonun XVI əsrin sonlarına aid xarakterik formal və akademik ripləşdirilmiş sistematik estetika kodifikasiyası interyerlərin...

Nəzəriyyəsi (1958) ilə sona çatan məqalələrində və daha sonra Qara ümumi formal metodlara əsaslanaraq daha ümumi İqtisadi və Siyasi Seçim Nəzəriyyəsinə...

etmək üçün süni intellekt tədqiqatçıları axtarış və riyazi optimallaşdırma, formal məntiq, süni neyron şəbəkələri və statistika, ehtimal və iqtisadiyyata əsaslanan...

dayanırdı. Kapitalizm şəraitində iş qüvvəsi əmtəəyə çevrildi və işçilər formal olaraq azad şəxslər oldular. Bu, istehsal vasitələrindən məhrum edilmə və...

nəzəriyyə düşünmüşdü. Buna görə də ona kömək olması üçün atomun elektron modeli mövzusunda mütəxəssislər axtarırdı. O, Avropada hidrogen atomları haqqında...

İnsan və Kosmik Uçuş Maşını. The MIT Press. 2008. ISBN 978-0-262-13497-2. Peter Clarke, EE Times: Intel enters billion-transistor processor era, 14 November...

1936-cı ildə təklif etdiyi və hal-hazırda bütün ümumi təyinatlı kompüterlərin modeli sayılan mücərrəd "Türinq hesablama maşını", alqoritm anlayışı formallaşdırmağa...

Niels, ed, Web25: Histories from the first 25 years of the World Wide Web (Peter Lang, 2017). Fielding, R.; Gettys, J.; Mogul, J.; Frystyk, H.; Masinter...

bədən üzvü ilə əlaqələndirilib. Belə rəngarəng yazı üslubunun həddən artıq formal və sxematik bir strukturla birləşməsi Coysun 20-ci əsr modernist ədəbiyyatına...

Kāmadhātu (arzular dünyası), Rupadhatu (formalar dünyası), Arupadhatu (qeyri-formal dünya). Məbəd, ziyarətçilərə geniş pilləkan və 1460 ədəd relyef panellərlə...