Связанные понятия
Теорема о четырёх красках — теорема, которая утверждает, что всякую расположенную на сфере карту можно раскрасить не более чем четырьмя разными цветами (красками) так, чтобы любые две области с общим участком границы были раскрашены в разные цвета. При этом области могут быть как односвязными, так и многосвязными (в них могут присутствовать «дырки»), а под общим участком границы понимается часть линии, то есть стыки нескольких областей в одной точке не считаются общей границей для них. Задача раскраски...
«Пасьянс » унаследовал свою надёжность от неотъемлемой хаотичности положения карт при перетасовке колоды. Производя определённые манипуляции с простой колодой карт, человек, шифрующий сообщение может создать случайную последовательность символов, которые впоследствии объединяются с сообщением. Этот алгоритм может показаться достаточно ненадёжным, но по словам самого Шнайера «Пасьянс» может выдержать даже атаку самых сильных военных противников с огромным финансированием, мощными компьютерами и отличными...
Карты Зе́нера , Зенеровские карты — колода карт с пятью повторяющимися рисунками (круг, крест, три волнистые линии, квадрат, пятиконечная звезда), предложенная в 1930-х годах психологом Карлом Зенером (англ. Karl Edward Zener) для изучения паранормальных форм восприятия или способностей человека, например ясновидения.
Задача миллионеров-социалистов (англ. Socialist Millionaires' Problem, SMP, Tierce problem) — криптографическая задача, в которой два миллионера хотят выяснить, равны ли их состояния, не разглашая точные суммы. Решение этой задачи используется в качестве криптографического протокола, который позволяет двум сторонам проверить подлинность удаленного участника с помощью общего секрета, избегая атаки «человек посередине», без необходимости сравнивать вручную отпечатки открытого ключа через другой канал...
Танграм (кит.七巧板, пиньинь qī qiǎo bǎn, букв. «семь дощечек мастерства») — головоломка, состоящая из семи плоских фигур, которые складывают определённым образом для получения другой, более сложной, фигуры (изображающей человека, животное, предмет домашнего обихода, букву или цифру и т. д.). Фигура, которую необходимо получить, при этом обычно задаётся в виде силуэта или внешнего контура. При решении головоломки требуется соблюдать два условия: первое — необходимо использовать все семь фигур танграма...
Нурикабе (яп. ぬりかべ) — это логическая головоломка, разработанная компанией Nikoli и опубликованная в 1991 году. Перед игроком ставится задача в рисовании «островов», разделённых «рекой», и при этом заданные числа задают размеры рассматриваемых островов.
Шифр Бэкона (или «двухлитерный шифр») — метод сокрытия секретного сообщения, придуманный Фрэнсисом Бэконом в начале XVII века. Он разрабатывал шифры, которые бы позволяли передавать секретные сообщения в обычных текстах так, чтобы никто не знал об этих сообщениях. Шифр базируется на двоичном кодировании алфавита символами «A» и «B», которым можно сопоставить «0» и «1». Затем секретное послание «прячется» в открытом тексте, с помощью одного из способов сокрытия сообщений.
У́стный счёт — математические вычисления, осуществляемые человеком без помощи дополнительных устройств (компьютер, калькулятор, счёты и т. п.) и приспособлений (ручка, карандаш, бумага и т. п.).
Теоре́ма о бесконе́чных обезья́нах (в одном из многочисленных вариантов формулировки) утверждает, что абстрактная обезьяна, ударяя случайным образом по клавишам пишущей машинки в течение неограниченно долгого времени, рано или поздно напечатает любой наперёд заданный текст.
Ментальный покер — система криптографических задач, касающихся честных игр на расстоянии (через телефонную связь или Интернет). Термин происходит от названия карточной игры покер. С аналогичной проблемой связана задача подбрасывания монеты на расстоянии.
Элузис — индуктивная карточная игра, в которой один игрок загадывает правило раскладки карт, а другие, глядя на разложенные карты, должны его угадать. Элузис — одна из первых игр, моделирующих изучение законов природы и развивающих не только логическое, но и индуктивное мышление.
«Тогда́ и то́лько тогда ́» — логическая связка эквиваленции между утверждениями, применяемая в логике, математике, философии. Чтобы быть эквиваленцией, связка должна быть идентична стандартному материальному условному высказыванию («только тогда» эквивалентно «если … то»), соединённому со своей противоположностью, откуда и название связки. В результате истинность одного утверждения требует такой же истинности другого, то есть либо оба они истинны, либо оба ложны. Можно спорить о том, передаёт ли выражение...
Висконсинский тест сортировки карточек (ВТСК, англ. Wisconsin Card Sorting Test, WCST) — нейропсихологический тест на переключение между задачами (смену психологической установки, англ. set-shifting), то есть способность демонстрировать гибкость в условиях изменения подкрепления. ВТСК был разработан Эстой Берг и Дэвидом Грантом в 1948 году.
Метод Каси́ски (Метод Кази́ского) — метод криптоанализа полиалфавитных шифров, таких как шифр Виженера. Основан на факте того, что повторяющиеся части открытого текста, зашифрованные одним и тем же ключевым словом, приводят к идентичным сегментам шифрованного текста. Разработан независимо криптоаналитиками Фридрихом Касиски и Чарльзом Бэббиджем.
Данная статья — часть обзора История математики. Современная математика изучает абстрактные структуры совершенно различной природы (множества, высказывания, логические языки, функции), но её основным объектом изучения изначально были понятия натурального числа и геометрической фигуры, возникшие из практической деятельности человека.
Подробнее: Возникновение математики
Задача Иосифа Флавия или считалка Джозефуса — известная математическая задача с историческим подтекстом.
«Свободная ячейка » (англ. FreeCell) — карточный пасьянс. Поскольку пасьянс относительно новый и известен исключительно по компьютерным реализациям, устоявшегося русского названия нет. В Windows XP игра некорректно названа «Солите́р» (этот пасьянс отличается от «Свободной ячейки» одним правилом).
Общее знание (англ. common knowledge) имеет место в ситуации, когда каждому индивиду из некоторой группы известно о наступлении некого события, о наличии этого знания у других представителей группы, о наличии знания о наличии знания и так далее ad infinitum. Концепция общего знания впервые возникла в философской литературе у Дэвида Келлогга Льюиса (1969). Определение общего знания было дано тогда же социологом Моррисом Фриделлом. Математическая (теоретико-множественная) интерпретация осуществлена...
Японская головоломка (также
японский кроссворд , японское рисование, нонограмма) — головоломка, в которой, в отличие от обычных кроссвордов, зашифрованы не слова, а изображения.
Демпстера-Шафера теория — математическая теория очевидностей (свидетельств) (), основанная на функции доверия (belief functions) и функции правдоподобия (plausible reasoning), которые используются, чтобы скомбинировать отдельные части информации (свидетельства) для вычисления вероятности события. Теория была развита Артуром П. Демпстером и Гленном Шафером.
Шрифт Брайля (фр. Braille) — рельефно-точечный тактильный шрифт, предназначенный для письма и чтения незрячими и плохо видящим людям. Разработан в 1824 году французом Луи Брайлем (фр. Louis Braille), сыном сапожника. Луи в возрасте трёх лет поранился в мастерской отца шорным ножом; из-за начавшегося воспаления глаза мальчик потерял зрение. В возрасте 15 лет Луи создал свой рельефно-точечный шрифт как альтернативу рельефно-линейному шрифту Валентина Гаюи, вдохновившись простотой «ночного шрифта» капитана...
Принцип Дирихле нередко применяется при доказательстве теорем, особенно в дискретной математике; в частности, в теории диофантовых приближений при анализе систем линейных неравенств.
Алгори́тм (лат. algorithmi — от арабского имени математика Аль-Хорезми) — конечная совокупность точно заданных правил решения произвольного класса задач или набор инструкций, описывающих порядок действий исполнителя для решения некоторой задачи. В старой трактовке вместо слова «порядок» использовалось слово «последовательность», но по мере развития параллельности в работе компьютеров слово «последовательность» стали заменять более общим словом «порядок». Независимые инструкции могут выполняться...
Гипотеза Хивуда , или теорема Рингеля — Янгса даёт нижнюю границу для числа цветов, которые необходимы для раскраски графа на поверхности с заданным родом. Эта граница называется хроматическим числом поверхности или числом Хивуда. Для поверхностей рода 0, 1, 2, 3, 4, 5, 6, 7, ..., требуемое число цветов равно 4, 7, 8, 9, 10, 11, 12, 12, ....
Задача о двух конвертах (Парадокс двух конвертов) — известный парадокс, демонстрирующий как особенности субъективного восприятия теории вероятностей, так и границы её применимости.
Быки и коровы — логическая игра, в ходе которой за несколько попыток один из игроков должен определить, что задумал другой игрок. Варианты игры могут зависеть от типа отгадываемой последовательности — это могут быть числа, цвета, пиктограммы или слова. После каждой попытки задумавший игрок выставляет «оценку», указывая количество угаданного без совпадения с их позициями (количество «коров») и полных совпадений (количество «быков»). Роли участников игры не равнозначны — угадывающий должен анализировать...
Судо́ку (яп. 数独 су:доку, произношение ) — головоломка с числами. Иногда судоку называют магическим квадратом, что в общем-то неверно, так как судоку является латинским квадратом 9-го порядка. Судоку активно публикуют газеты и журналы разных стран мира, сборники судоку издаются большими тиражами. Решение судоку — популярный вид досуга.
Четыре четверки — математическая головоломка по поиску простейшего математического выражения для каждого целого числа от 0 до некоторого максимума, используя лишь общие математические символы и четвёрки (никакие другие цифры не допускаются). Большинство версий «четырёх четверок» требует, чтобы каждое выражение содержало ровно четыре четверки, но некоторые вариации требуют, чтобы каждое выражение имело минимальное количество четверок.
Солитер — это настольная игра для одного игрока, в которой переставляются колышки на доске с отверстиями. Некоторые комплекты используют шарики и доски с выемками. В США игра имеет название Peg Solitaire (колышковый солитер), а название Солитер относится к пасьянсу. В Великобритании игра известна под именем Solitaire (солитер), а карточная игра называется Patience (пасьянс). В некоторых местах, в частности, в Индии, игра носит название Brainvita.
Математическая шутка — фраза или небольшой текст юмористического содержания, который опирается на аспекты математики или стереотипы о математике. Юмор может определяться игрой слов или двойным смыслом математического термина. Эти шутки часто непонятны для тех, кто не обладает математическим складом ума. Относится к научному юмору.
История арифметики охватывает период от возникновения счёта до формального определения чисел и арифметических операций над ними с помощью системы аксиом. Арифметика — наука о числах, их свойствах и отношениях — является одной из основных математических наук. Она тесно связана с алгеброй и теорией чисел.
Шифр нигилистов — это метод шифрования, используемый движением российских нигилистов для борьбы против царского режима в 1880-х годах.Оригинальный алгоритм был, скорее, базовым шифром, но потом появились модификации, которые обеспечивают лучшую безопасность. Одним из шифров, принадлежащих Нигилистической семье шифров, является шифр ВИК.
Пятьдесят девять икосаэдров (англ. The Fifty-Nine Icosahedra) — это книга, написанная и проиллюстрированная Гарольдом Коксетером, Патриком дю Валем, Х. Т. Флазером и Дж. Ф. Петри. В книге перечислены некоторые звёздные формы правильных выпуклых (платоновых) икосаэдров, построенных согласно набору правил, предложенных Дж. Ч. П. Миллером.
Шифр Виженера (фр. Chiffre de Vigenère) — метод полиалфавитного шифрования буквенного текста с использованием ключевого слова.Этот метод является простой формой многоалфавитной замены. Шифр Виженера изобретался многократно. Впервые этот метод описал Джовани Баттиста Беллазо (итал. Giovan Battista Bellaso) в книге La cifra del. Sig. Giovan Battista Bellasо в 1553 году, однако в XIX веке получил имя Блеза Виженера, французского дипломата. Метод прост для понимания и реализации, он является недоступным...
Гре́ко-лати́нский квадра́т , или э́йлеров квадра́т, — квадрат N×N в каждой клетке которого стоят 2 числа от 1 до N так, что выполняются следующие условия...
Книжный шифр — вид шифра, в котором каждый элемент открытого текста (каждая буква или слово) заменяется на указатель (например, номер страницы, строки и столбца) аналогичного элемента в дополнительном тексте-ключе.
Папирус Ахмеса был обнаружен в 1858 году в Фивах и часто называется папирусом Ринда (Райнда) по имени его первого владельца.
Пентамино ́ (от др.-греч. πέντα пять, и домино) — пятиклеточные полимино, то есть плоские фигуры, каждая из которых состоит из пяти одинаковых квадратов, соединённых между собой сторонами («ходом ладьи»). Этим же словом иногда называют головоломку, в которой такие фигуры требуется укладывать в прямоугольник или другие формы.
Систематическая ошибка согласованности является одним из видов когнитивных искажений, это явление схоже с предвзятостью подтверждения. Систематическая ошибка согласованности происходит из-за чрезмерной увлеченности людей непосредственно исследовать данную гипотезу, пренебрегая косвенным опытом.
В теории графов
теорема о раскраске дорог, известная до недавнего времени как гипотеза о раскраске дорог, имеет дело с инструкциями синхронизации. Задача ставится в нахождении таких инструкций, чтобы независимо от начального положения объекта можно было бы дойти до пункта назначения в сети (которая может представлять собой улицы города или лабиринт). В реальном мире можно данную задачу представить как набор инструкций для вашего друга, по которым он может добраться до вашего дома независимо от того...
Алгоритм Леска — классический алгоритм разрешения лексической многозначности, основанный на знаниях, предложенный Майклом Леском в 1986 году.
Ри́мские ци́фры — цифры, использовавшиеся древними римлянами в их непозиционной системе счисления.
Логика Бэрроуза — Абади — Нидхэма (англ. Burrows-Abadi-Needham logic) или BAN-логика (англ. BAN logic) — это формальная логическая модель для анализа знания и доверия, широко используемая при анализе протоколов аутентификации.
Дешифровка ронго-ронго , письменности острова Пасхи, обнаруженной в конце XIX века, до сих пор не осуществлена. Аналогично другим недешифрованным письменностям, существует множество гипотез относительно ронго-ронго, в том числе фантастических. Известно содержание только части одной таблички, имеющей отношение к лунному календарю, но даже эту часть пока не удалось расшифровать. Дешифровке препятствуют три обстоятельства: малое количество сохранившихся текстов (содержащих в сумме не более 15 000 знаков...
Ханойская башня является одной из популярных головоломок XIX века. Даны три стержня, на один из которых нанизаны восемь колец, причём кольца отличаются размером и лежат меньшее на большем. Задача состоит в том, чтобы перенести пирамиду из восьми колец за наименьшее число ходов на другой стержень. За один раз разрешается переносить только одно кольцо, причём нельзя класть большее кольцо на меньшее.