Веб-бібліотека - головна сторінка


Шоботов В.М. Цивільна оборона:

Організація цивільної оборони в сучасних умовах. Основні положення міжнародного права по захисту людини. Цивільна оборона деяких закордонних країн. Цивільна оборона Росії. Цивільна оборона Федеративної Республіки Німеччини. Цивільна оборона США. Цивільна оборона України. Державна система цивільної оборони України. Завдання цивільної оборони України. Організаційний устрій і порядок функціонування цивільної оборони України. Організація цивільної оборони на об'єктах господарювання (ОГ). Сили і засоби цивільної оборони. Війська цивільної оборони України. Спеціалізовані формування. Невоєнізовані формування. Постійна комісія з надзвичайних ситуацій при виконавчих органах влади, їх цілі та завдання. Єдина державна система органів виконавчої влади...

ШЕЙНФИНКЕЛЬ Моисей Ильич

(1887, Одесса- 1942, Москва) - математик и логик, ученик С. О. Шатуновского (1859 - 1929), в 20-х гг. стажировался в Гётгингене. Его доклад "Об основных понятиях математической логики" (7 декабря 1920, Математическое общество, Гёттинген), опубликованный в 1924 (в обработке Бемана), положил начало исследованиям Карри и Чёрча в основаниях математики (см. Комбинаторная логика). Шейнфинкель предложил вариант решения проблемы разрешения для некоторых частных случаев формул узкого исчисления предикатов; впервые указал систему аксиом, достаточную для вывода всех тождественно истинных импликативных (содержащих единственную связку "э") формул. Соч.: Uber die Bansteine der Mathematischen Logik. - "Mathematischen Annal", 1924, Bd. 92; Zum Entscheidungsproblem der Mathematischen Logik. - "Mathematischen Annal", 1928, Bd. 99, N 3 (совместно с П. Бернайсом).
Лит.: Яновская С. А. Основания математики и математическая логика. - В кн.: Математика в СССР за тридцать лет. 1917 - 1947. М., 1948.
3. А. Кузичева, А. С. Кузичев