БСЭ БСЭ - Большая Советская Энциклопедия (ТИ) Страница 25

из сшитых шкур бизона или оленя. В верхней части покрышки устанавливались две лопасти из шкур, защищавшие дымовое отверстие от ветра; внизу оставлялось отверстие для входа, прикрытое шкурой. Т. вмещала от 6 до 15 человек и была хорошо приспособлена к кочевому быту.

Типи индейцев Северной Америки.

Типизация

Типиза'ция, 1) в литературе и искусстве — воплощение типического (см. в ст. Типическое ). 2) В технике — обоснованное сведение многообразия избранных типов конструкций машин, оборудования, приборов, зданий, сооружений, технологических процессов и т. п. к небольшому числу.

  В машиностроении Т. конструкций машин позволяет из всей массы выпускаемых или эксплуатируемых машин определённого назначения отобрать образцы с наилучшими эксплуатационными показателями. Сокращение числа типов машин одного назначения служит основой для специализации предприятий и организации поточно-массового и серийного производства.

  В строительстве Т. характеризуется проектированием и возведением зданий и сооружений определённых типов, например жилые и промышленные здания из секций, здания и сооружения в целом — типовые школы, жилые дома, больницы, производственные цеха и т. п. Проекты таких зданий и сооружений называются типовыми. В них предусмотрено применение типовых конструкций и стандартных деталей. Для облегчения и удешевления массового производства целесообразно иметь возможно меньшее число типоразмеров стандартных деталей, например балок для перекрытий, стеновых панелей, оконных переплётов. Число типовых деталей, конструкций и зданий в целом устанавливают на основе конструктивных, технологических, экономических и т. п. соображений. Т. осуществляется на основе так называемой модульной системы и унификации элементов зданий и сооружений. Т. является важнейшим условием для внедрения в строительстве индустриальных методов возведения зданий и сооружений, снижения стоимости, сокращения сроков и повышения качества строительства.

  Т. технологических процессов заключается в выборе для внедрения из всей массы действующих технологических процессов только наиболее производительных и рентабельных. В машиностроении, например, где вследствие многодетальности и конструктивных сложностей продукции число технологических операций особенно велико, Т. позволяет сократить это многообразие и обрабатывать несколько родственных деталей по типовым технологическим проектам. При этом применяется не специальная, а типовая технологическая оснастка, что позволяет снизить трудоёмкость и сократить продолжительность технологической подготовки производства . Т. осуществляется путём согласования документации между заинтересованными в данном объекте организациями. В химическом, нефтехимическом, пищевом и т. п. производствах типовые технологические процессы широко распространены при получении однотипной продукции, что создаёт возможность повысить стабильность и качество выпускаемой продукции. Т. способствует повышению производительности труда, экономии материальных ресурсов, снижению себестоимости продукции, а также в ряде случаев позволяет сократить сроки освоения новой техники.

Типитака

Типи'така, собрание буддийских текстов на языке пали. См. Трипитака .

Типическое

Типи'ческое, типичное (от греч. týpos — образец), нормальное, образцовое, наиболее вероятное для данной конкретной системы объективного мира (см. Тип ). В эстетике понятие Т. получило преобладающее развитие в литературных теориях 19 в. (В. Г. Белинский, И. Тэн, Г. Брандес и др.) в связи с осмыслением специфических черт реалистического искусства этой эпохи, охарактеризованных Ф. Энгельсом в письме М. Гаркнесс (1888) как «... правдивое воспроизведение типичных характеров в типичных обстоятельствах» (Маркс К. и Энгельс Ф., Соч., 2 изд., т. 37, с. 35). Создание типичных индивидуальностей — сложный творческий процесс, который часто обозначают термином «типизация». Типизацию нередко понимают как синтезирование в одном человеческом образе целого ряда типичных черт, которые художник нашёл у разных реальных людей. Но более существен другой процесс: развёртывание, доведение до конца тех возможностей, которые художник усмотрел в известных ему реальных людях. В типичных характерах, в их взаимодействии, в их связи с обстоятельствами воплощается художественное познание конкретного соотношения личности и общества.

...типия

...типия (от греч. týpos — отпечаток), часть сложных слов, указывающая на отношение к процессам печатания, полиграфии (например, автотипия , фототипия ).

Типов теория (в логике)

Ти'пов тео'рия в логике, система расширенного исчисления предикатов или аксиоматической теории множеств , включающая переменные различных «типов» (сортов, ступеней, порядков). Формальные объекты этой теории, согласно системе Рассела — Уайтхеда, разделяются на типы: предметы (индивиды), предикаты, предикаты от предикатов и т. д. [объекты n -го типа — это предикаты от объектов (n– 1)-го и, быть может, меньших типов]. При «двойственной» формулировке Т. т. как аксиоматической теории множеств объекты n- го типа суть множества объектов (n— 1)-го (и, быть может, меньших) типа. Соответственно, принцип свёртывания (абстракции принцип ), неограниченное пользование которым в расширенном исчислении предикатов и в теории множеств приводит к парадоксам , звучит теперь несколько по-другому: «для всякой предикатной формулы со свободной переменной х, не содержащей объектов выше (n— 1)-го типа, существует предикат n- го типа, истинный для тех и только тех значений х, для которых истинна данная формула», или «для любого свойства, в формулировке которого используются множества не выше (n— 1)-го типа, существует множество n -го типа, состоящее из тех и только тех предметов, которые обладают этим свойством». В обеих формулировках выделены слова, добавление которых отличает теоретико-типовую форму аксиомы свёртывания от обычной и которые препятствуют возникновению в Т. т. парадоксов, возникающих в «наивной» теории множеств, в том числе парадокса Рассела о «множестве всех множеств, не содержащих себя в качестве элемента».

  Однако математика, построенная на базе Т. т., оказывается, как показывает внимательный анализ, существенно более бедной, чем обычная классическая математика. Поэтому Рассел ввёл в свою систему так называемую аксиому сводимости, постулирующую, грубо говоря, для каждого множества (предиката) n- го типа существование эквивалентного ему множества 1-го типа. Но уже для этой аксиомы ни на какое «чисто логическое» обоснование математики, как показал сам Рассел, рассчитывать не приходилось (в силу чего программа логицизма выведения всей математики из «чистой» логики оказывалась невыполнимой).

  Лит .: Гильберт Д., Аккерман В., Основы теоретической логики, пер. с нем., М., 1947, гл. 4 и прилож. 1; Ван Хао, Мак -Нотон P., Аксиоматические системы теории множеств, пер. с франц., М., 1963, гл. 1—2, 5—6; Френкель А., Бар-Хиллел И., Основания теории множеств, пер. с англ., М., 1966, гл. 1, 3 (лит.); Andrews Р. В., A transfinite type theory with type variables, Amst., 1965.

Типов теория (в химии)

Ти'пов тео'рия в химии, одна из ведущих химических теорий середины 19 в. В 1839— 1840 Ж. Б. Дюма предложил рассматривать химические соединения как продукты замещения одних элементов или радикалов (см. Радикалов теория ) другими в немногих «типичных» соединениях («старая Т. т. »). В 1853 Ш. Жерар разработал «новую Т. т.» и использовал её для классификации органических соединений. Согласно Жерару, более сложные органические соединения могут быть произведены от следующих основных четырёх типов веществ:

  Заменяя в этих формулах атомы Н др.: атомами или радикалами (по Жерару, «остатками»), можно было получить формулы органических соединений всех известных в середине 19 в. классов. Например, к типу водорода относили углеводороды, металлоорганические соединения, альдегиды, кетоны, к типу воды — спирты, кислоты, эфиры, к типу хлористого водорода — моногалоген опроизводные углеводородов, к типу аммиака — амины, амиды, имиды, арсины, фосфины. С 1857 по предложению Ф. А. Кекуле углеводороды стали относить к типу метана.

  Т. т. способствовала развитию органической химии, в частности классификации органических соединений. Но её основная мысль — уложить соединения углерода в формулы простейших неорганических соединений — была ошибочной. Вскоре обнаружилась необходимость введения кратных (удвоенных, утроенных и т. д.) и смешанных (составленных из двух и более простых) типов, а также возможность относить соединения одного класса к разным типам (например, альдегиды — к типам водорода и воды). Кроме того, формулы Т. т. выражали не истинное строение соединений, а только сходство некоторых их реакций с реакциями более простых и известных веществ. Поэтому в 1860-х гг. Т. т. стала уступать место классической химического строения теории , созданной А. М. Бутлеровым .