THE PROBLEM OF COUNABILITY OF HIGHEST ORDINALS . ... The first form corresponds to the geometric representation of ordinal w n as an infinite n -dimensional matrix. According traditional formulation w w = U w i , i =1, w , thus w w is w -countable union of countable ordinals so w w is countable. ... TWO METHODS OF RENUMBERING OF ELEMENTS OF ORDINALS The fist infinite ordinal w designates the set of natural numbers which is countable by definition. ... This matrix represents ordinal w (w ^ w) . ...

Еще в разделе: (Показать все результаты (>11) - www.protein.bio.msu.ru/ )

• ITOG\sttit1

... MSU's HPC HISTORY . ... In 1956, Research Computing Center (RCC) of Moscow State University received its first computer тАЬStrelaтАЭ. ... BESM-6 computer was and still is considered to be of great importance to USSRтАЩs/RussiaтАЩs history of computer development. ... Same year RCC received its first BESM-6 computer, and despite its serial number 13 it proved to be lucky for the Center. ... Research Computing Center (RCC) of Lomonosov Moscow State University . ... Excursions to Supercomputing Center ...

Еще в разделе: (Показать все результаты (>5) - hpc.msu.ru/ )

• TOWARDS PETAFLOPS | Moscow University Supercomputing Center

Кафедра микробиологии . биологического факультета МГУ им. М.В. Ломоносова . Заведующий кафедрой: Нетрусов Александр Иванович, доктор биологических наук, профессор . ... Профиль кафедры . История кафедры . ... Основным направлением исследований, проводимых на кафедре, является изучение физиологии и биохимии фототрофных и хемотрофных микроорганизмов: . ... изучение антимутагенного действия бактерий, . ... метаболизм ДНК пропионовокислых бактерий и т.д. Биологический факультет . МГУ . ...

Еще в разделе: (Показать все результаты (>8) - micro.bio.msu.ru/ )

• Кафедра микробиологии Биологического факультета МГУ - Большой практикум
• Кафедра микробиологии Биологического факультета МГУ - Контакты
• Кафедра микробиологии Биологического факультета МГУ - Навыки

... Projects . ... 32-bit Microcontroller Programming . ... The project is working on creating a robot-platform which performs hopping movement, an absolutely new principle of movement for automatons. ... A robot requires a wide range of sensors and complex algorithms of position stabilization in order to keep calculations on stable position of the legs when walking on uneven surface. ... His field is the system of hop initiation while Serguey Lonchakov is working on the stabilization of the position. ...

Еще в разделе: (Показать все результаты (>10) - engineering.phys.msu.ru/ )

• Science Festival 2014

... We show that broadband energy spectra of GRS 1915+105 during all these spectral states can be adequately presented by two bulk motion Comptonization (BMC) components: a hard component (BMC1, photon index 1 = 1.7­3.0) with turnover at high energies and soft thermal component (BMC2, 2 = 2.7­4.2) with characteristic color temperature 1 keV, and the redskewed iron-line (LAOR) component. We also present observable correlations between the index and the normalization of the disk "seed" component. ...

Еще в разделе: (Показать все результаты (>22) - uranus.sai.msu.ru/ )

• http://uranus.sai.msu.ru/~seif/apj_738_2_128_st11.pdf
• http://uranus.sai.msu.ru/~seif/ST12_apj_747_2_99.pdf
• http://uranus.sai.msu.ru/~seif/apj_767_160.pdf

... Departments . ... om.cmc.msu.ru . ... The team of the Department of General Mathematics performs a fundamental research in different areas of the differential equationsт?? theory. ... Extended course on partial differential equations, 7th semester. ... Theory of nonlinear differential equations by Dr. Komarov. ... Nikitin A.A. On the existence and uniqueness of a generalized solution of the mixed problem for the wave equation with the second and third boundary conditions // Differential Equations. ...

Еще в разделе: (Показать все результаты (>20) - en.cs.msu.ru/ )

• Department of General Mathematics
• Department of Computational Methods | CMC MSU
• Information for foreigners who wish to study at our Faculty | CMC MSU

... http://ani.cs.msu.su . ... OPENGL. ... vo id glBegin(GLenum mode) vo id glEnd(vo id) mode , : GL_POINTS . ... OpenGL. vo id glMaterial[i f](GLenum face, GLenum pname, GLtype param) vo id glMaterial[i f]v(GLenum face, GLenum pname, GLt ype *params) , . ... 1.0, 1.0, 1.0, 1.0) LIGHT0 (0.0, 0.0, 0.0, 1.0) . ... vo id glTexEnv[i f](GLenum target, GLenum pname, GLt ype param) vo id glTexEnv[i f]v(GLenum target, GLenum pname, GLt ype *params) target GL_TEXTURE_ENV, pname GL_TEXTURE_ENV_MODE, . ...

Еще в разделе: (Показать все результаты (>2) - ani.cmc.msu.ru/ )

... VaST is a software tool for finding variable objects on a series of astronomical images. ... VaST performs object detection and aperture photometry using SExtractor on each image, cross-matches lists of detected stars, performs magnitude calibration with respect to the first (reference) image and constructs a lightcurve for each object. ... VaST FITS image viewer ./pgfv . ... Part I" PZP, vol. ... K. V. Sokolovsky, S. A. Korotkiy; "New Variable Stars Discovered by the NMW Survey" PZP, vol. ...

209. http://xray.sai.msu.ru/~polar/sci_rev/bethe.pdf

210. Department of Geomorphology and Paleogeography

211. http://www.chem.msu.ru/eng/misc/babaev/papers/075e.pdf

212. ЛАБОРАТОРИЯ АВТОМАТИЗИРОВАННЫХ