неформально
41Мане Эдуар — 1. (Manet) (1832 1883), французский живописец. Учился у Т. Кутюра (1850 56, с перерывами). Изучал произведения Джорджоне, Тициана, Ф. Халса, Д. Веласкеса, Ф. Гойи, Э. Делакруа и испытал их влияние. В произведениях 60 х гг. стремился к… …
42КОРЕЯ — страна в Вост. Азии. Национальное название страны Чосон восходит к древнему этнониму и как название roc ва упоминается в источниках уже в V III вв. до н. э. Совр. иероглифическое написание этого названия читается как Страна утренней свежести .… …
43Соединённые Штаты Америки — Соединенные Штаты Америки США, гос во в Сев. Америке. Название включает: геогр. термин штаты (от англ, state государство ), так в ряде стран называют самоуправляющиеся территориальные единицы; определение соединенные, т. е. входящие в федерацию,… …
44ИНТУИЦИОНИСТСКАЯ ЛОГИКА — одна из наиболее важных ветвей неклассической логики, имеющая своей филос. предпосылкой программу интуиционизма. Выдвигая на первый план математическую интуицию, интуиционисты не придавали большого значения систематизации логических правил.… …
45КИТАЙСКАЯ ФИЛОСОФИЯ — сложившийся в глубокой древности слой мировой культуры. Возникнув в I тыс. до н.э., К.ф. стала неотъемлемой частью духовных цивилизаций не только Китая, но и большинства стран Востока и Юго Восточной Азии. Кит. традиция выделяет шесть основных… …
46АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… …
47МАТЕМАТИЧЕСКАЯ ИНДУКЦИЯ — полная математическая индукция (наз. в математике часто просто полной индукцией; в этом случае это понятие следует отличать от рассматриваемого в нематематич. формальной логике понятия полной индукции), – прием доказательства общих предложений в… …
48АЛГОРИТМИЧЕСКИЙ ЯЗЫК — формальный язык программирования, формальный язык, предназначенный для описания вычислительных процессов, или, что то же, для записи алгоритмов, подлежащих выполнению на вычислительных машинах.. Различают проблемно ориентированные А. я. (А. я.… …
49ПЕТРИ СЕТЬ — математическая модель дискретных динамич. систем, в том числе информационных систем (параллельных программ, операционных систем, ЭВМ и их устройств, сетей ЭВМ), ориентированная на качественный анализ и синтез таких систем (обнаружение блокировок …
50РЕКУРСИЯ — способ определения функций, являющийся объектом изучения в теории алгоритмов и других разделах математич. логики. Этот способ давно применяется в арифметике для определения числовых последовательностей (прогрессии, чисел Фибоначчи и пр.).… …
