Читать «Большая Советская Энциклопедия (ИМ)» онлайн - страница 91

  Соч.: Строение бактерий, М.—Л., 1940; Микробиологические процессы при высоких температурах, М.—Л., 1944; Микробиология целлюлозы, М., 1953; Экспериментальная изменчивость микроорганизмов, М., 1956.

  Лит.:Александр Александрович Имшенецкий, М., 1967 (АН СССР. Материалы к биобиблиографии учёных СССР. Сер. биологических наук, в. 3).

А. А. Имшенецкий.

Имшенецкий Василий Григорьевич

Имшене'цкийВасилий Григорьевич [4(16).1.1832, Ижевский завод, — 24.5(5.6).1892, Москва], русский математик и механик, академик Петербургской АН (1881). Один из основателей Харьковского (1879) и Петербургского (1890) математических обществ. Работы И. относятся к теории дифференциальных уравнений с частными производными, где им были значительно развиты и обобщены методы К. Якоби, О. Коши и др. Распространил приём разделения переменных на уравнения с частными производными первого порядка и дал новое приложение способа изменения произвольных постоянных к интегрированию уравнений с частными производными второго порядка.

  Лит.:Юшкевич А. П., История математики в России до 1917 г., М., 1968.

ИМЭЛ

ИМЭЛ, Институт Маркса — Энгельса — Ленина при ЦК КПСС, см. .

Имя (в логике)

И'мяв логике, выражение языка, обозначающее предмет (собственное, или единичное, имя) или множество (класс) предметов (общее имя); при этом предмет понимается в широком смысле — как всё, что мы можем назвать. Среди собственных имён различают имена отдельных предметов («Пушкин», «автор “Тита Андроника”») и имена классов (например, «человечество» как собственное И. класса всех людей); последние следует отличать от общих имён (например, «человек»): имена классов применимы к классу в целом как к одному предмету, но не к каждому отдельному его элементу, тогда как общие имена приложимы к каждому элементу соответствующего класса, но не к классу в целом. Различают простые, или элементарные, имена, т. е. имена, не состоящие из других имён или иных осмысленных выражений языка, и сложные имена — имена, построенные из осмысленных частей (И. «человечество» — простое, а И. «современное человечество» — сложное). В аналогом собственного имени является константа; собственным именам предметов соответствуют так называемые индивидные константы, собственным именам классов — классовые константы; аналогами общего имени являются переменная и терм. Собственные имена в формализованных языках подразделяются на исходные собственные имена, которым приписываются определённые значения, и (сложные) имена, построенные из исходных (т. е. имена, строение которых отражает тот способ, которым они обозначают предмет).