|
|
|
|
|
|
|
|
|
Тезис черча
| Глоссарий по искусственному интеллекту |
Утверждение о том, что "лямбда"-исчисление эквивалентно интуитивному пониманию алгоритма т.ч. аналогичен другим тезисам (например, тезису тьюринга о том, что машина тьюринга эквивалентна интуитивному пониманию алгоритмического процесса), позволяющим формализовать понятие алгоритма.
|
|
Тезис, русский
- Тезис , мнение, мысль
- , гравюра нач. 18 в. с богословским или философским текстом, сопровождающимся изображениями святых или исторических лиц.
- (греч . thesis - положение, утверждение),..1) в широком смысле - любое утверждение в споре или изложении некоторой теории; в узком смысле - основополагающие утверждения - принципы...2) в логике - утверждение, требующее доказательства.
Тезисы докладов и выступлений, русский
- Thesis
- Это определенная научная публикация, резюмирующая всю проведенную научную конференцию. в ней содержатся краткие формулировки основных тем и идей, посвященных научным исследованиям.
Тезисы соглашения, русский
Черчен, русский
, река на западе китая, 725 км. начало на склонах хр. аркатаг, протекает по юго-восточной окраине пустыни такла-макан, впадает в оз. карабуранкель. средний расход по выходе из гор ок. 20 м3/с. летнее половодье. в нижнем течении большей частью безводна. орошает черченский оазис.
Черчение, русский
Черчилл, русский
(churchill) , река в центральной части канады. ок. 1400 км, площадь бассейна 282 тыс. км2. впадает в гудзонов зал. средний расход воды 1200 м3/с. порожиста. в устье - порт черчилл.
Черчиллит, русский
Черчилль, русский
(churchill) уинстон леонард спенсер (1874-1965) , премьер-министр великобритании в 1940-45, 1951-55. до 1904 консерватор, затем либерал, с нач. 20-х гг. снова консерватор, один из лидеров консервативной партии. с 1908 неоднократно министр. в годы 2-й мировой войны черчилль стал символом выдержки британского народа, предсказал ему "кровь, тяготы, слезы и пот". черчилль выступал одним из инициаторов создания антигитлеровской коалиции с сша и ссср и одновременно стремился ограничить влияние ссср в послевоенной европе. в августе 1946 в речи "пробудись, европа!", произнесенной в цюрихе, призвал к единству европейских стран-победителей и побежденных. в программной речи в фултоне (сша, 5.3.1946) черчилль предупредил об угрозе тирании и тоталитаризма, исходящей из ссср, который создал "железный занавес" (от щецина на балтике до триеста на адриатике), и призвал к укреплению оон, созданию особых отношений между великобританией, сша и другими странами с целью предотвращения новой войны и сохранения свободы и демократии. сочинения историко-мемуарного характера. нобелевская премия по литературе (1953).(churchill) уинстон леонард спенсер (30 ноября 1874, бленхейм, оксфордшир - 24 января 1965, лондон), государственный деятель великобритании, премьер-министр (1940-1945, 1951-1955), один из лидеров антигитлеровской коалиции, внесший значительный вклад в разгром гитлеровской германии. начало карьерыаристократическое происхождение (потомок первого герцога мальборо) открыло черчиллю путь в закрытое учебное заведение харроу и училище сэндхерст. вступив в 1895 в армию, он принял участие в военных экспедициях в индию и судан. во время англо-бурской войны 1899-1902 был военным корреспондентом лондонской "морнинг пост", попал в плен, откуда совершил дерзкий побег. по возвращении в англию посвятил себя политической деятельности. избранный в парламент от консервативной партии, он в 1904 перешел к либералам, мотивируя свой шаг несогласием с протекционистской программой дж. чемберлена. как либеральный политик, черчилль довольно быстро поднимался по служебной лестнице - в 1905-1911 он являлся попеременно парламентским заместителем министра колоний, министром торговли, министром внутренних дел; провел некоторые реформы в социальной области, рассматривая их как альтернативу социализму.в годы 1-й мировой войныстав военно-морским министром (1911-1915), черчилль сосредоточил свои усилия на подготовке британского флота к будущей войне с германией. вместе с тем "восточная" стратегия черчилля не была успешной: начатая в январе 1915 по его настоянию операция с целью захвата полуострова галлиполи и дарданелл потерпела полное фиаско, британские силы на море и на суше понесли значительные потери. черчиллю пришлось покинуть адмиралтейство. в 1917 по предложению д. ллойд джорджа был введен в состав коалиционного правительства. возглавляя в 1918-1922 военное и авиационное министерства, черчилль проявил себя убежденным противником советской россии и вдохновителем вооруженной борьбы с ней. между войнамипослевоенный кризис либерализма, новые политические и международные условия побудили черчилля вновь вернуться в консервативную партию. в качестве канцлера казначейства (1924-29) в правительстве с. болдуина черчилль осуществил выгодное финансовым кругам восстановление золотого паритета фунта стерлингов (1925). впоследствии, выступив против предполагаемых политических уступок индии, он порвал с болдуином и его сторонниками. с 1931 и до сентября 1939 черчилль занимал положение рядового члена парламента, дистанцировавшись от руководства консерваторов.1930-е годы - наиболее насыщенный период творчества и публичных выступлений черчилля. в эти же годы проявился его незаурядный литературный дар. он написал 6-томную, явно приукрашенную, историю жизни своего знаменитого предка "мальборо" (1933-1938). были замечены широкой читательской аудиторией его "мысли и приключения" (1932), исторические портреты "великие современники" (1939). широкую известность получили также речи и выступления черчилля, собранные в книгах "пока англия спала" (1938) и "шаг за шагом" (1939). развивая тему об угрозе перевооружения нацистского рейха и критикуя политику умиротворения германии, черчилль обходил стороной агрессивные акции фашистской италии и японии.звездный часрасцвет политической и военной карьеры черчилля начинается с 10 мая 1940, когда он становится главой национального правительства и одновременно министром обороны, лидером палаты общин, а с конца года - и лидером консервативной партии, сосредоточив в своих руках главные рычаги мобилизации страны на решительное ведение борьбы с гитлеровской германией. придя к власти в труднейший для англии момент (ей угрожало вторжение немецких войск), черчилль сумел коренным образом изменить положение - победоносная коалиция, в составе которой находилась великобритания, нанесла сокрушительное поражение германии. в активе премьер-министра - участие в многочисленных международных конференциях, в переговорах и переписке с руководителями сша и ссср. в августе 1942 и октябре 1944 он встречался в москве со сталиным; неоднократно пересекал атлантику для встреч с ф. рузвельтом. черчилль принимал самое активное участие в судьбоносных тегеранской конференции 1943 и крымской конференции 1945, а также уже послевоенной потсдамской конференции 1945. 8 мая именно черчилль возвестил соотечественникам о полной безоговорочной капитуляции германии. во время войны и после ее окончания черчилль не переставал доказывать необходимость самых тесных связей великобритании с америкой, особой ответственности англосаксов за будущее мира.выступление черчилля по лондонскому радио вечером 22 июня 1941 в поддержку советского союза, заключение союзного договора с ссср в мае 1942 и другие шаги отразили трезвое понимание им государственных интересов британии в процессе борьбы с общим противником. однако "периферийная" стратегия черчилля - затягивание открытия второго фронта в западной европе, перенесение военных действий в район средиземноморья, а также его стремление в конце войны ограничить рост влияния ссср и сферы его интересов серьезно осложнили англо-советские отношения.послевоенный периодпосле победы лейбористов на парламентских выборах в июле 1945 черчилль вышел в отставку, но не прекратил активной политической деятельности. выступая 5 марта 1946 в фултоне (штат миссури, сша), он призвал западные демократии к единению перед лицом усиления угрозы со стороны ссср и мирового коммунизма, к созданию "братской ассоциации народов, говорящих по-английски". черчилль недвусмысленно предупреждал об опасности, исходившей от советского тоталитарного режима, и в этой связи употребил ставшее впоследствии широкораспространенным выражение "железный занавес", который опустился между восточной и западной европой. правда, было подтверждено стремление британского народа к установлению длительного сотрудничества с советским союзом. вскоре после вторичного избрания его премьер-министром (октябрь 1951), черчилль, трезво оценив новое соотношение сил между востоком и западом в ядерных вооружениях, стал высказывать сомнения насчет целесообразности давления на ссср. требования о развитии совместной западной обороны (с включением в нее западногерманских сил) сочетались в его дипломатии с предложениями поиска соглашения с ссср. в мае 1953 он огласил в палате общин свою концепцию "саммита наций" - подготовки и созыва конференции на высшем уровне. покинув в апреле 1955 по состоянию здоровья правительство, черчилль в последние годы жизни не играл активной роли в политике.черчилль получил множество наград - национальных и иностранных, в т. ч. нобелевскую премию по литературе (1953), черчилль - автор шеститомного труда "вторая мировая война" (1948-54), четырехтомной "истории англоговорящих народов" (1956-58) и др. в том же 1953 королева елизавета ii наградила его высшим орденом великобритании - орденом подвязки; в 1963 стал почетным гражданином сша. историко-литературное наследство черчилля огромно, а посвященные ему исследования и публицистические работы неисчислимы. сочинения:london to ladysmith. via victoria. london, 1900.lord randolph churchill. london, 1906. v. 1-2.the world crisis. london, 1923-1931. v. 1-6.marlborough. london, 1933-1938. v. 1-6.the second world war. london, 1943-1953. v. 1-6.a history of the english-speaking peoples. london, 1956-1958. v. 1-4.winston s. churchill: his complete speeches, 1897-1963 / ed. r. r. games. new york, 1974. v. 1-8.churchill and roosevelt: the complete correspondence / ed. w. f. kimball. princeton, 1984. v. 1-3.литература: трухановский в. г. уинстон черчилль. м., 1989.weidhorn m. sword and pen. a survey of the writings of winston churchill. albuquerque, 1974.woods f. a bibliography of the works of sir winston churchill. london, 1975.gilbert m. winston s. churchill. london, 1971-1986. v. 1-8.churchill r. s. winston s. churchill. london, 1991. v. 1-2.л. в. поздеева
Черчит, русский
Утверждение, русский
- Утверждение , согласие
- – положение, мысль, которой доказывают что-нибудь.
- Утвердительная форма выдвижения гипотезы, относительно некоторого явления
- Положение, мысль, которой доказывают, утверждают что-либо [114]. в логике – особая форма предложе- ния, которая в утвердительной форме выдвигает гипотезу отно- сительно некоторого явления. в математике доказанные утвер- ждения называются теоремами (более простые – леммами). [114].
Исчисление, русский
- – см. логистика.
- , знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов (слов) и формул (фраз), и процесса вывода потенциально значимых (истинных) формул исчисления (его фразеологии) из некоторого фиксируемого в том же языке набора формул-аксиом. любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования (вывода) его фразеологии. приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы (интерпретация исчислений), преобразует исчисление в формализованный язык. основные примеры исчисления: числовые и алгебраические системы, логические исчисления.
- Формальная система, задаваемая четверкой <т,в,а,р>, где т - множество базовых символов исчисления; в - синтаксические правила, с помощью которых из элементов т порождаются произвольные элементы; а - множество априорно истинных элементов исчисления (аксиомы исчисления); р - множество семантических правил (правил вывода), с помощью которых из одних элементов системы порождаются другие.
- Основанный на четких правилах формальный аппарат оперирования сознаниями определенного вида, позволяющий дать точное описание некоторого класса задач, а для отдельных подклассов этого клас
Эквивалентно, русский
|
Следствие логическое, русский
Факт, полученный в процессе логического вывода в формальной системе.
Перцептрон, русский
Устройство, построенное по нейробионическому принципу. простейший трехслойный п. состоит из поля фоторецепторов, каждый из которых может находиться в двух состояниях, поля ассоциативных формальных нейронов и решателей. на поле фоторецепторов проецируется черно-белые изображения. фоторецепторы случайным образом соединяются с разрешающими и запрещающими входами ассоциативных формальных нейронов, выходы которых также случайным образом соединяются с входами решателей. в процессе обучения классификации входных изображений происходит подбор весовых коэффициентов и порогов ассоциативных нейронов таким образом, чтобы вход решателей (на них суммируются сигналы, приходящие от ассоциативных нейронов) могли использоваться как источник разделения множества входных изображений. кроме трехслойного п. исследовались и многослойные п., у которых вводилось несколько слоев ассоциативных нейронов. как показали исследования, возможности п. в области классификации - ограниченные. в настоящее время интерес к п. практически угас.
|
|
|
|
|
|
|
