Большая Советская Энциклопедия (СЕ)

Се'йши (франц., едиственное число seiche), стоячие волны большого периода (от нескольких минут до десятков часов), возникающие в более или менее замкнутых водоёмах (морях, озёрах, заливах и пр.). С. — результат интерференции волн, возникших под действием внешней силы (резкого изменения атмосферного давления, ветра, сейсмических явлений и др.) и волн, отражённых от берегов бассейна. При С. происходит колебательное движение всей массы воды, причём всегда существует одна или несколько линий (точки а и а' на рис. 1 и 2), в которых уровень не меняется; они называются узлами или узловыми линиями. С. могут быть одноузловыми (рис. 1), двухузловыми (рис. 2) и т. д. с амплитудами от нескольких мм до нескольких м. Так, например, в Женевском озере амплитуда С. достигает 2 м с периодом более 1 ч, в Алжирской бухте наблюдаются С. с амплитудой до 1 м и периодом немногим более 1 мин, в Азовском море наблюдались С. с периодом до 23 ч и амплитудой 10—25 см.

Рис. 1 к ст. Сейши.

Рис. 2 к ст. Сейши.

СЕКАМ

СЕКА'М, название системы цветного телевидения, совместимой с черно-белой системой и отличающейся от др. систем цветного телевидения поочерёдной (последовательной) передачей двух цветоразностных сигналов при непрерывной передаче сигнала яркости. Слово «СЕКАМ» образовано из начальных букв французской фразы systeme séquentici couleurs á mémoire, что означает: последовательная система цветного телевидения с запоминанием. Предложена французским инженером А. де Франсом в 1958. Принята во Франции, СССР и других странах.

Секанс

Се'канс [лат. secans, здесь — секущая (прямая); от seco — режу, рассекаю], одна из тригонометрических функций; обозначение sec. В прямоугольном треугольнике С. острого угла называют отношение гипотенузы к катету, прилежащему к этому углу.

Секатор

Сека'тор (франц. sécateur, от лат. seco — секу, режу), садовые ножницы. С. обрезают побеги и нетолстые ветви при формировании и прореживании кроны деревьев, кустарник, а также нарезают черенки винограда.

Секач

Сека'ч, взрослый самец котикаикабана.

Секваны

Секва'ны (лат. Sequani), кельтское племя (расселение С. см. на карте при ст. Кельты).

Секвенс Йиржи

Се'квенс (Sequens) Йиржи (р. 23.4. 1922, Брно), чехословацкий кинорежиссёр. В 1946 окончил драматическое отделение консерватории в Брно, в 1946—47 учился во ВГИКе (Москва), затем в институте высшего кинообразования (Париж). Работал режиссёром в театре. В 1949 дебютировал в кино как сценарист, в 1951 осуществил первую режиссёрскую работу. Поставил один из лучших чехословацких приключенческих фильмов «Загадка старой штольни» (1955), а также кинокартины: «Непобежденные» (1956), «Бегство из тени» (1958; Золотая медаль на 1-м Международном кинофестивале в Москве, 1959), «Покушение» (1964: Золотая медаль на 4-м Международном кинофестивале в Москве, 1965), «Хроника знойного лета» (1973) и др.

Секвенций исчисление

Секве'нций исчисле'ние (позднелатинское sequentia — последовательность, следствие), секвенциальные исчисления, исчисления способов заключений, модификации понятия логического исчисления, в которых основными объектами преобразования являются не формулы, а т. н. секвенции, т. е. выражения вида A₁,..., A_l ® B₁,..., Bm, где ® аналогична знаку выводимости, A₁,..., A_l и B₁,..., Bm — произвольные формулы; первые — образующие антецедент секвенции, вторые — её сукцедент. При l, m ³ 1 секвенция A₁,..., A_l ® B₁,... B_m интерпретируется как формула

  A₁&... &A₁ ÉB₁ Ú...Ú B_m.

  (& — знак конъюнкции, É — импликации, Ú — дизъюнкции, см. Логические операции), секвенция с пустым антецедентом интерпретируется как истина, а секвенция с пустым сукцедентом — как ложь (и, следовательно, секвенция ®, состоящая из одной стрелки, — как противоречие). Аксиомами (исходными секвенциями) в С. и. являются все секвенции вида С ® С (и только они). Правила вывода делятся на т. н. структурные и логические. Первые кодифицируют допустимые изменения «формульного состава» антецедента и сукцедента, вторые — введение в секвенции различных логических символов. Структурные правила — это «уточнение» (добавление произвольной формулы к антецеденту или сукцеденту), «сокращение» (вычёркивание повторяющихся формул), перестановка произвольных формул в антецеденте или сукцеденте, а также «сечение»

   

  (латинскими буквами обозначаются произвольные формулы, греческими — строчки формул, разделённых запятыми, над чертой пишется посылка правила, под чертой — заключение). Логические правила вывода имеют для секвенциального классического исчисления высказываний следующий вид:

  ; ;

 

 

 .