| 13986122 15360 8522 910 1логич. (и ло-гико-математич.) теорий в виде формализованных языков есть характерная особенность матем. логики (см. также Доказательство).
Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957, § 14- 20; Марков А. А., Теория алгорифмов, М. -Л., 1954 (Тр. Математического ин-та им. В. А. Стеклова, т. 42); Карри X. Б., Основания математической логики, пер. с англ., М., 1969, гл. 2; Математическая теория логического вывода, Сборник переводов, под ред. А. В. Идельсона, Г. Е. Минца, М., 1967; Логические и логико-математические исчисления, 1, Сб. работ, под ред. В. П. Оревкова, Л., 1968. Ю. А. Гастев.
ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ, исчисление суждений, раздел математической логики, в к-ром формально-аксиоматич. методом изучаются сложные (составные) высказывания, составленные из простых (элементарных, не анализируемых) высказываний с помощью логических связок "и", "или", "если..., то" и "неверно, что". При этом ставится цель охарактеризовать общезначимые в том или ином смысле высказывательные формы, т. е. те формулы, к-рые при любой подстановке высказываний вместо переменных дают высказывания, верные в соответствующем смысле.
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ, раздел матем. логики - совокупность логико-матем. исчислений, формализующих те разделы совр. логики, в к-рых отображаются и изучаются (в связи с рассмотрением субъектно-предикатной структуры предложений) правила оперирования с кванторами. См. Высказывание, Логика предикатов.
ИТАБИРА (Itabira), город в Бразилии, в шт. Минас-Жерайс. 56 тыс. жит. (1970). Железнодорожная станция. Центр крупного месторождения жел. руды. Общие запасы руды оцениваются в 30 млрд. т, половина из к-рых содержит св. 60% железа. Добыча руды (до 25 млн. т в год) контролируется гос. компанией "Вали ду Риу-Доси". С 1967 к добыче руды приступила смешанная компания КАЕМИ, в к-рой участвуют нац. группа "Азеведу Антунис" (51% акций) и амер. "Ханна". Экспорт (28 млн. т в 1970) руды осуществляется через порты Витория, Туба-ран, Сепетиба. 3-д спец. сталей.
ИТАБИРИТ (от назв. города Итабира в Бразилии), разновидность кварцита, содержащая в обилии железорудные минералы и небольшое кол-во мусковита, а иногда тонкораспылённое золото. Используется как железная руда.
ИТАБУНА (Itabuna), город на С.-В. Бразилии, в шт. Баия, в р-не произ-ва какао. 113 тыс. жит. (1970, с пригородами). Ж.-д. станция. Предприятия по переработке с.-х. сырья.
ИТАГАКИ Тайсукэ (17.4.1837, г. Коти,- 16.7.1919), японский политич. деятель. Принимал участие в незавершённой бурж. революции 1867-68. Занимал в 1868-73 ряд ответств. постов в пр-ве. С 1873 возглавил либеральное движение за введение конституции и учреждение парламента. Организатор (1881) и президент (1881-84) первой политич. бурж. партии Дзиюто (Либеральная). В 1896 и 1898 министр внутр. дел. С 1900 отошёл от политич. деятельности.
ИТАКА (Ithake), остров в составе Ионических островов у зап. побережья Балканского п-ова. Принадлежит Греции. Пл. ок. 90 км2, вые. до 804 м.
В эпосе античной Греции И.- родина и царство Одиссея, хотя отождествление гомеровской И. с исторически существующей остаётся спорным.
ИТАКА, посёлок гор. типа в Могочинском р-не Читинской обл. РСФСР. Расположен на р. Итака (басе. Амура), в 60 км к С. от ж.-д. ст. Ксеньевская. Добыча золота.
ИТАКОНОВАЯ КИСЛОТА, ненасыщенная двухосновная карбоновая кислота, Н2С = С(СООН)-СН2СООН; бесцветные кристаллы, tпл 167-168 °С. При нагревании с тионилхлоридом И. к. даёт хлорангидрид, при взаимодействии со спиртами - эфиры; по двойной связи присоединяет галогены и галогеноводоро-ды, при хранении легко полимеризуется (ингибитором служит гидрохинон). И. к. применяют в произ-ве синтетич. моющих средств; эфиры И. к.- в произ-ве сополимеров с метакрилатами, стиролом и др., а также как пластификаторы поливинил-хлорида.
ИТАЛИЙСКИЕ ЯЗЫКИ, группа индоевропейских языков, включающая ныне мёртвые: латинский, фалискский, умбрский и оскский языки с большим числом диалектов. И. я. были распространены на территории Ср. и Юж. Италии. От оскского, умбрского н фалискского языков до нас дошло ок. 300 надписей, записанных лат., этрусским и греч. алфавитами. Наиболее значительным памятником И. я. являются Игувинские таблицы (ок. 4000 слов, 3-2 вв. до н. э.), найденные в 1444 близ Губбио (Умбрия) и содержащие описание умбрского ритуала. Остальные представляют собой монетные легенды, надписи надгробные, посвятительные и на межевых камнях.
Лит.: Тройский И. М., Очерки из истории латинского языка, М.-Л., 1953; Цветаев И., Сборник осских надписей с очерком фонетики, морфологии н глоссарием, К., 1877; Vetter Е., Handbuch der italischen Dialekte, Hdlb., 1953; ВоttigIiоni G., Manuale dei dialetti italici, Bologna, 1954; Devoto J., Tabulae Iguvinae, 3 ed., Roma, 1962; Pisani V., Manuale storico della lingua latina, t. 4 - Le lingue dell'Italia antica oltre il latino, 2 ed., Torino, 1964. М. Л. Воскресенский.
ИТАЛИКИ (лат. Italici), группа индоевроп. племён Древней Италии, говоривших на италийских языках. И. подразделялись на две ветви: фалискско-латинс кую, объединявшую фали-сков, латинов, авзонов (или аврунков), энотров и др. (к этой ветви, вероятно, относились и сикулы), и умбро-оск-ско-сабелльскую, включавшую умбров, основ (самниты, сабины, эквы, вольски и др.) и сабеллов (марсы, марру-цины, френтаны, вестины и др.). И. находились на разных ступенях социально-экономич. и культурного развития: быстрее развивались латины, находившиеся в основном в 6 в. до н. э. на стадии раннеклассовых гос-в.
С 19 в. в науке утвердилось представление о том, что И. пришли на Апеннинский п-ов во 2-м тыс. до н. э. из-за Альп и принесли с собой культуру металла (итал. учёный Л. Пигорини считал И. создателями культур бронзы, железа на терр. Италии). Рус. учёный В. И. Модестов, итал. исследователь Дж. Девото и др. полагали, что И. мигрировали из Центр. Европы двумя волнами: в нач. 2-го тыс. до н. э.- протолатины, создатели культуры террамары, в кон. 2 - нач. 1-го тыс. до н. э.- предки умбро-сабеллов, создатели Виллановы культуры. В совр. итал. историографии преобладает мнение о последовательности и неразрывности развития древних культур Италии от неолита к железу независимо от миграций (Дж. Патрони, П. Орси, У. Реллини); о спорадических переселениях индо-европ. племён с нач. 2-го тыс. до н. э. с Балканского п-ова через Адриатику и о распространении их по Апеннинскому п-ову в направлении с 3. на В., С. и Ю. (итал. археолог М. Паллоттино).
Термин "И." употребляется также в качестве общего назв. всех племён, населявших Апеннинский п-ов и покорённых Римом в 5-3 вв. до н. э. После Союзнической войны (нач. 1 в. до н. э.) И. получили права рим. гражданства; в течение 1 в. до н. э. подверглись романизации.
Лит.: Модестов В. И., Введение в римскую историю, ч. 1 - 2, СПБ. 1902 - 04: Немировский А. И., История раннего Рима и Италии, Воронеж, 1962; А1thеim F., Italien und Rom, Bd 1, Amst.- Lpz., [1941]; Devoto G., Altitalien, в кн.: Historia mundi, Bd 3, Bern, 1954. И. Л. Маяк.
абс.- абсолютный
абх.- абхазский
авг.- август, августовский
австр.- австрийский
австрал.- австралийский
авт.- автономный
автомоб.- автомобильный
агр.- аграрный
адж.- аджарский
адм.- административный, адмирал
адм. ц.- административный центр
адыг.- адыгейский
азерб.- азербайджанский
азиат.- азиатский
акад.- академик
акц.- акционерный
алб.- албанский
алгебр.- алгебраический
алж.- алжирский
альп.- альпийский
алюм.- алюминиевый
амер.- американский
АМН СССР - Академия медицинских наук СССР
АН - Академия наук
англ.- английский
антич.- античный
АО - автономная область
АПН - Агентство печати Новости
АПН СССР - Академия педагогических наук СССР
апр.- апрель, апрельский
араб.- арабский
аргент.- аргентинский
арм.- армянский
арт.- артиллерийский
арх.- архитектор
археол.- археологический
архит.- архитектурный
ассир.- ассирийский
ат. м. атомная масса
ат. н.- атомный номер
атм.- атмосферный
афг.- афганский
афр.- африканский
АХ - Академия художеств
АХРР -Ассоциация художников революционной России
АЭС - атомная электростанция
Б.- Большой
б., быв.- бывший
б. или м.- более или менее
б. ч.- большей частью
балт.- балтийский
басе.- бассейн
башк.- башкирский
белорус.- белорусский
белы.- бельгийский
бенг.- бенгальский
биол.- биологический
бирм.- бирманский
б-ка - библиотека
Бл. Восток - Ближний Восток
болг.- болгарский
бр.- братья
браз.- бразильский
брит.- британский
бронз.- бронзовый
букв.- буквально
бум.- бумажный
бурж.- буржуазный
бурят.- бурятский
в., вв.- век, века
В.- восток
в. д.- восточная долгота
в т. ч.- в том числе
ВАСХНИЛ - Всесоюзная академия сельскохозяйственных наук имени В. И. Ленина
ВВС - военно-воздушные силы
ВГИК - Всесоюзный государственный институт кинематографии
ВДНХ - Выставка достижений народного хозяйства СССР
вел. кн.- великий князь
венг.- венгерский
верх.- верхний, верховный
вет.- ветеринарный
визант.- византийский
ВМС - военно-морские силы
ВМФ - военно-морской флот
внеш.- внешний
ВНР - Венгерская Народная Республика
ВОАПП - Всесоюзное объединение ассоциаций пролетарских писателей
возв.- возвышенность
возд.- воздушный
вол.- волость
вост.- восточный
ВСНХ - Высший совет народного хозяйства, Всероссийский совет народного хозяйства
ВСРП - Венгерская социалистическая рабочая партия
ВСХВ - Всесоюзная сельскохозяйственная выставка
ВФДМ - Всемирная федерация демократической молодёжи
ВФП - Всемирная федерация профсоюзов
Вхутеин - Высший государственный художественно-технический институт
Вхутемас - Высшие государственные художественно-технические мастерские
ВЧ - высокая частота
ВЧК - Всероссийская чрезвычайная комиссия
выс.- высота
г.-год, город, гора
газ.- газета
гал.- галерея
гвард.- гвардейский
гвин.- гвинейский
ГДР - Германская Демократическая Республика
ген.- генерал, генеральный
ген.-л.- генерал-лейтенант
ген.-м.- генерал-майор
ген.-полк.- генерал-полковник
геогр.- географический
геол.- геологический
геом.- геометрический
герм.- германский
ГИТИС - Государственный институт театрального искусства имени А. В. Луначарского
ГК - Гражданский кодекс
ГКО - Государственный комитет обороны
гл.- глава, главный
гл. обр.- главным образом
глуб.- глубина
голл.- голландский
гор.- городской
горнодоб.- горнодобывающий
гос.- государственный
гос-во - государство
ГОСТ - государственный общесоюзный стандарт
ГПК - гражданский процессуальный кодекс
гражд.- гражданский
греч.- греческий
груз.- грузинский
ГРЭС - государственная районная электростанция
губ.- губерния
ГЭС - гидроэлектростанция
Д. Восток - Дальний Восток
даг.- дагестанский
дат.- датский
дек.- декабрь, декабрьский
ден.- денежный
деп.- депутат, департамент
дер.- деревня
деревообр.- деревообрабатывающий
дес.- десятина
див.- дивизия
дл.- длина
долл.- доллар
Др.- Древний, Древняя
др.- - древне...
ДРВ - Демократическая Республика Вьетнам
евр.- еврейский
европ.- европейский
егип.- египетский
ед. ч.- единственное число
ЕЭС - Европейское экономическое сообщество
ж. д.- железная дорога
ж.-д.- железнодорожный
жел.- железный
жил.- жилищный
жит.- жители
3.- запад
з. д.- западная долгота
з-д - завод
зал.- залив
зап.- западный
засл. арт.-заслуженный артист
зоол.- зоологический
изд.- издание, издатель
изд-во - издательство
илл.- иллюстрация
имп.- император, императорский
ингуш.- ингушский
инд.- индийский
индонез.- индонезийский
инж.- инженер,инженерный
иностр.- иностранный
инструм.- инструментальный
инсц.- инсценировка
ин-т - институт
ирак.- иракский
иран.- иранский
ирл.- ирландский
иск-во - искусство
исл.- исландский
исп.- испанский
ист.- исторический
итал.- итальянский
кабард.- кабардинский
каб.-балк.- кабардино-балкарский
кав.- кавалерийский
кавк.- кавказский
казах.- казахский
калм.- калмыцкий
кам.- каменный
камбодж.- камбоджийский
кам.-уг.- каменноугольный
канад.- канадский
канд.- кандидат
каракалп.- каракалпакский
карел.- карельский карт,
гал.- картинная галерея
КБ - конструкторское бюро
KB - короткие волны
КЗоТ - Кодекс законов о труде
кельт.- кельтский
кирг,- киргизский
кит.- китайский
к.-л. - какой-либо
к.-н.- какой-нибудь
кн.- книга, князь
КНДР - Корейская Народно Демократическая Республика
КНР - Китайская Народная Республика
княж.- княжеский
кож.- кожевенный
кол-во - количество
колон.- колониальный
колх.- колхозный
команд.- командующий
комп.- композитор
кон.- конец, конный
кооп.- кооперативный
кор.- корейский
коэфф.- коэффициент
кпд - коэффициент полезного действия
кр. рог. скот - крупный рога-тьш скот
крест.- крестьянский
к-рый - который
к-т - комитет
к-та - кислота
лат.- латинский
латв.- латвийский
латыш.- латышский
|
