ⓘ Онлайн энциклопедия. Вы знали? стр. 468




                                               

Тьюрмиты

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

                                               

Управляющие символы

Управляющие символы - символы в кодировке, которым не приписано графическое представление, но которые используются для управления устройствами, организации передачи данных и других целей. Сейчас для этих целей применяются форматы файлов, языки уп ...

                                               

Условие Фано

Условие Фано - в теории кодирования - достаточное условие построения самотерминирующегося кода. Обычная формулировка этого условия выглядит так: Никакое кодовое слово не может быть началом другого кодового слова. Более "математическая" формулиров ...

                                               

Формальная верификация

Формальная верификация или формальное доказательство - формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из-за ру ...

                                               

Формальная спецификация

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

                                               

Функциональная совместимость

Функциональная совместимость - это способность продукта или системы, интерфейсы которых полностью открыты, взаимодействовать и функционировать с другими продуктами или системами без каких-либо ограничений доступа и реализации.

                                               

Хелм, Ричард

Ричард Хелм - учёный, один из четырех авторов классической книги "Design Patterns" о шаблонах проектирования программного обеспечения. Коллектив авторов также известен как "Группа четырех". Получил докторскую степень по информатике в Университете ...

                                               

Целостность информации

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

                                               

Цифровой идентификатор объекта

Цифровой идентификатор объекта - стандарт ISO 26324:2012 обозначения представленной в сети информации об объекте. Фактически, DOI является ссылкой на постоянное местонахождение объекта или информации о нём в Интернет. DOI может быть присвоен любо ...

                                               

Эмуляция

Эмуляция в вычислительной технике - комплекс программных, аппаратных средств или их сочетание, предназначенное для копирования функций одной вычислительной системы на другой, отличной от первой, вычислительной системе таким образом, чтобы эмулиро ...

                                               

Языково-ориентированное программирование

Языково-ориентированное программирование, также Расходящаяся разработка, также метаязыковая абстракция, также Разработка, опирающаяся на предметно-специфичный язык - парадигма программирования, заключающаяся в разбиении процесса разработки програ ...

                                               

CAM

CAM - автоматизированная система, либо модуль автоматизированной системы, предназначенный для подготовки управляющих программ для станков с ЧПУ. Под термином понимаются как сам процесс компьютеризированной подготовки производства, так и программн ...

                                               

GIGO

GIGO - принцип в информатике, означающий, что при неверных входящих данных будут получены неверные результаты, даже если сам по себе алгоритм правилен. Это слово в русском языке практически не используется, в отличие от FIFO. В русскоязычной куль ...

                                               

INRIA

INRIA - национальный исследовательский институт во Франции, работающий в области компьютерных наук, теории управления и прикладной математики. Создан в 1967 в Роканкур рядом с Парижем в рамках государственной программы Plan Calcul. INRIA является ...

                                               

ISA-95

ISA-95, или ANSI/ISA-95, - международный стандарт для разработки интерфейса между предприятиями и управляющими системами. Этот стандарт был разработан для применения во всех видах производства, для всех видов процессов - например - непрерывных ил ...

                                               

Linked data

Linked Data - в информатике это коллекция взаимосвязанных наборов данных во Всемирной паутине. Под этим термином может также пониматься описание методов публикования связанных между собой структурированных данных. Данные методы базируются на стан ...

                                               

N-грамма

N-грамма - последовательность из n элементов. С семантической точки зрения, это может быть последовательность звуков, слогов, слов или букв. На практике чаще встречается N-грамма как ряд слов, устойчивые словосочетания называют коллокацией. После ...

                                               

Round-robin (алгоритм)

Round-robin - алгоритм распределения нагрузки распределённой вычислительной системы методом перебора и упорядочения её элементов по круговому циклу.

                                               

Логика

Логика - раздел философии, нормативная наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых на логическом языке. Поскольку новое знание получают посредством разума, логика также определяется как наука о фо ...

                                               

Абсурд

Абсурд - нечто алогичное, нелепое, противоречащее здравому смыслу. Приведение чего-либо к абсурду означает доказать бессмысленность какого-либо положения тем, что логически развивая это положение, в итоге приходят к нелепости, которая явно вскрыв ...

                                               

Адвокат дьявола

Адвокат дьявола - неофициальное название одной из должностей института беатификации и канонизации католической церкви. Также адвокат дьявола - идиома, обозначающая того, кто при обсуждении некоего вопроса сознательно занимает отрицательную, проти ...

                                               

Аксиома Вольфрама

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

                                               

Алогизм

Алогизм - нелогическое рассуждение, ход мысли, нарушающий законы и правила логики, либо факт, который не укладывается в рамки логического мышления, то, что нельзя обосновать логически, противоречащее логике.

                                               

Анализ (философия)

Анализ - в философии, в противоположность синтезу, анализом называют логический приём определения понятия, когда данное понятие раскладывают по признакам на составные части, чтобы таким образом сделать его познание ясным в полном его объёме. Анал ...

                                               

Аналитика

Аналитика - часть искусства рассуждения - логики, рассматривающая учение об анализе - операции мысленного или реального расчленения целого на составные части, выполняемая в процессе познания или предметно-практической деятельности человека.

                                               

Аналогия

Аналогия - подобие, равенство отношений; сходство предметов, явлений, процессов, величин и т. п. в каких-либо свойствах, а также познание путём сравнения, например:

                                               

Антецедент

Антецедент - на языке старых философов, особенно у логиков Кантовской школы, в их учении о суждениях, заключениях и доказательствах антецедент означает, отчасти - логическое подлежащее в его отношении к сказуемому, отчасти - причину в отношении к ...

                                               

Антитезис

Антитезис в логике и философии - суждение, противопоставляемое тезису. При доказательстве от противного доказывание тезиса доказательства осуществляется через опровержение противоречащего ему антитезиса. Тезис и антитезис называются антитетически ...

                                               

Аргумент (логика)

Аргумент - логическая посылка, используемая отдельно или в совокупности с другими с целью доказательства истинности определённого утверждения - тезиса. Чтобы тезис можно было считать истинным, все аргументы должны содержать в себе истинную информ ...

                                               

Бритва Оккама

Бритва Оккама - методологический принцип, в кратком виде гласящий: "Не следует множить сущее без необходимости". Этот принцип получил название от имени английского монаха-францисканца, философа-номиналиста Уильяма из Оккама англ. William of Ockha ...

                                               

Бритва Хэнлона

Бритва Хэнлона - презумпция, согласно которой при поисках причин неприятных событий должны прежде всего предполагаться человеческие ошибки, и лишь во вторую очередь - чьи-то сознательные злонамеренные действия. Обычно выражается фразой: "Никогда ...

                                               

Буриданов осёл

Буриданов осёл - философский парадокс, названный по имени Жана Буридана, несмотря на то, что был известен ещё из трудов Аристотеля, где был поставлен вопрос: как осёл, которому предоставлены два одинаково соблазнительных угощения, может всё-таки ...

                                               

Вопрос

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

                                               

Выборочное представление фактов

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

                                               

Вывод (рассуждение)

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

                                               

Высказывание (логика)

Высказывание в математической логике - предложение, выражающее суждение. Если суждение, составляющее содержание некоторого высказывания, истинно, то и о данном высказывании говорят, что оно истинно. Сходным образом ложным называют такое высказыва ...

                                               

Гиперэвристика

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

                                               

Гомеоскоп

Гомеоскоп - это одна из пяти так называемых "интеллектуальных машин" С. Н. Корсакова - классифицирующее логическое устройство, которое было предложено в 1832 году для автоматизации сравнения идей.

                                               

Дважды два — пять

Выражение "дважды два - пять" иногда используется как краткое и яркое представление нелогичного утверждения, особенно такого, которое утверждается и поддерживается с целью соответствия идеологическому порядку.

                                               

Дедуктивное умозаключение

Дедукция - метод мышления, следствием которого является логический вывод, истинность которого гарантируется истинностью посылок. Также может определяться логико-методологическая процедура, посредством которой осуществляется переход от общего к ча ...

                                               

Деление понятий

Деление понятий - это логическая операция, посредством которой объем делимого понятия распределяется по объемам новых понятий, каждое из которых представляет частный случай исходного понятия. Например, расчёты делятся на наличные и безналичные. П ...

                                               

Деонтическая логика

Деонтическая логика - раздел модальной логики. Оперирует понятиями: обязательство, разрешение, норма. "Ты обязан это сделать" "Твой долг это сделать" либо "Ты можешь это сделать" Эти понятия пытались внедрить достаточно давно, но значительный рез ...

                                               

Дерево Порфирия

Дерево Порфирия, или Древо Порфирия - графическая древовидная структура, с помощью которой можно показать шаги последовательного дедуктивного дихотомического деления понятий от высших к низшим. Своё название схема получила в честь Порфирия 232/23 ...

                                               

Диаграмма Эйлера

Диаграммы Эйлера - геометрическая схема, с помощью которой можно изобразить отношения между подмножествами, для наглядного представления. Первое их использование приписывают Леонарду Эйлеру. Используется в математике, логике, менеджменте и других ...

                                               

Дискуссия

Дискуссия - обсуждение спорного вопроса, проблемы; разновидность спора, направленного на достижение истины и использующего только корректные приёмы ведения спора. Важной характеристикой дискуссии, отличающей её от других видов спора, является арг ...

                                               

Дихотомия

Дихотомия - раздвоенность, последовательное деление на две части, более связанные внутри, чем между собой. Способ логического деления класса на подклассы, который состоит в том, что делимое понятие полностью делится на два взаимоисключающих понят ...

                                               

Доведение до абсурда

Доведение до абсурда, или апагогия, - логический приём, которым доказывается несостоятельность какого-нибудь мнения таким образом, что или в нём самом, или же в вытекающих из него следствиях обнаруживается противоречие. Частным случаем доведения ...

                                               

Доказательство (логика)

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

                                               

ДСМ-метод

ДСМ-метод - метод автоматического порождения гипотез. Формализует схему правдоподобного и достоверного вывода, называемую ДСМ-рассуждением. ДСМ-рассуждение является синтезом познавательных процедур: индукции, аналогии и абдукции. ДСМ-метод был со ...

                                               

Задача выбора Уэйсона

Задача выбора Уэйсона - логическая задача, придуманная Питером Уэйсоном в 1966 году и широко известная в психологии. Популярный вариант задачи формулируется так: Перед вами на столе лежат четыре карты, каждая из которых имеет число с одной сторон ...

Бесплатно и без рекламы
не нужно скачивать или устанавливать

Pino - логическая онлайн игра, в основе которой находится тактика и стратегия. Это ремикс на шахматы, шашки и уголки. Игра развивает воображение, концентрацию внимания, учит решать поставленные задачи, планировать свои действия и логически мыслить. Не важно сколько у вас фишек, главное как они размещены!

интеллектуальная игра онлайн →