IPB

Здравствуйте, гость ( Вход | Регистрация )

Введите слово для поиска


Результаты поиска

Современный толковый словарь

ШРЕДЕР Э - рнст (1841-1902) , немецкий математик и логик; основополагающие исследования по алгебре логики (алгебре классов) и логике отношений; осуществил первую попытку построения общей теории алгоритмов и исчислений.

Ссылка на документ: ШРЕДЕР Э
Текстовая версия

Оле Кристенсен РЁМЕР
датский астроном, профессор Копенгагенского университета. Изобрел ряд астрономических инструментов (меридианный круг, экваториал с часовым кругом и кругом склонений). В 1675-76 годах по наблюдениям спутников Юпитера сделал вывод о конечности скорост...>>>

Смотреть календарь

Польское телевидение начало показ сериала «Четыре танкиста и собака», рассказывавшего о приключениях во время Второй мировой войны экипажа танка из состава сформированной на территории СССР польской бригады имени героев Вестерплятте. (В том же ис...>>>
Смотреть календарь

БАТОЛИТ (от греч . bathos - глубина и lithos - камень), крупный массив (св. 200 км2) гранитоидных горных пород, залегающий среди осадочных толщ складчатых областей земной коры.