Результаты поиска
Перейти к навигации
Перейти к поиску
Совпадения в названиях страниц
- Эпистемическая логика создана для изучения понятия знания и является направлением в модальной лог грязных детях") разработан формальный язык -- эпистемическая логика. ...11 КБ (562 слова) - 18:14, 19 ноября 2020
Совпадения в текстах страниц
- Эпистемическая логика создана для изучения понятия знания и является направлением в модальной лог грязных детях") разработан формальный язык -- эпистемическая логика. ...11 КБ (562 слова) - 18:14, 19 ноября 2020
- ...развития математической мысли, как [[w:Комбинаторная логика|комбинаторная логика]] и [[w:Лямбда-исчисление|λ-исчисление]]. В свою очередь последнее более те ...н|Маккарти]] (автора [[w:Лисп|Лиспа]]), такие объекты называются [[w:Атом (логика)|атомами]]. В теории фактический способ реализации базисных операций и пред ...24 КБ (1026 слов) - 14:40, 15 февраля 2025
- Данная статья описывает основы [[w:Комбинаторная логика|комбинаторной логики]] — [[w:Математика|математической науки]] о [[w:Вычисл ...от вид логики претендовал только на то, чтобы удалить из [[w:Высказывание (логика)|логических высказываний]] переменные, через некоторое время в [[w:Информат ...48 КБ (1372 слова) - 20:37, 15 декабря 2024
- [[Категория:математическая логика]] [[Категория:логика]] ...22 КБ (489 слов) - 21:07, 23 февраля 2023
- |заглавие = Математическая логика. Курс лекций ...15 КБ (857 слов) - 17:11, 27 января 2025
- ...ажение]] (равенство), в котором выделены все свободные вхождения [[w:Терм (логика)|терма]] <math>X</math>. Тогда <math>F [X \leftarrow M]</math> называется п ...16 КБ (818 слов) - 10:53, 27 сентября 2009
- ...им из итогов этого развития стала [[w:Математическая логика|математическая логика]], а другим — [[w:Теория алгоритмов|теория алгоритмов]]. ...51 КБ (551 слово) - 04:29, 29 декабря 2024
- ...н И.И., Мышкис А.Д., Пановко Я.Г''.'' '''Механика и прикладная математика: Логика и особенности приложения математики'''.-М.:Наука.Главная редакция физико-ма ...30 КБ (355 слов) - 21:43, 20 июня 2016
- ...я]] и [[w:Карри, Хаскелл|Хаскелла Карри]], разработавших [[w:Комбинаторная логика|комбинаторную логику]], и [[w:Чёрч, Алонзо|Алонзо Чёрча]], создателя [[w:Ля ...й механизм сопоставления с образцом. С ним можно описывать функции как [[w:Математическая индукция|индуктивные]] определения. ...48 КБ (807 слов) - 16:50, 16 апреля 2020
- ...азвивает геометрическое мышление, математика — абстрактное математическое, логика — логическое, физика — физическое… А какое мышление развивает информатика? ...math>n</math>. Рассмотрите число <math>n'=n-2^m</math>. Воспользуйтесь [[w:математическая индукция|методом математической индукции]]. ...49 КБ (1170 слов) - 04:29, 29 декабря 2024
- ...Часто оптимизация требуется лишь для небольшого числа функций, а остальная логика может быть запрограммирована на удобном для человека языке программирования ...53 КБ (1243 слова) - 02:53, 18 января 2024
- В [[w:Математическая логика|математической логике]] такой «итератор» называется [[w:Квантор|квантором]] ...58 КБ (1416 слов) - 17:08, 28 марта 2023
- ...ных вычислительных формализмов, как [[w:комбинаторная логика|комбинаторная логика]] и [[w:Лямбда-исчисление|λ-исчисление]]. Впоследствии λ-исчисление стало б ...116 КБ (1173 слова) - 00:10, 25 декабря 2024
- Далее основная логика программы укладывается буквально в несколько строк: ...70 КБ (1759 слов) - 21:04, 25 марта 2021
- ...нно ясно проявилось в современной теоретической физике.При этом внутренняя логика, симметрия уравнений подчас значительно сильнее влияют на убедительность п ...63 КБ (327 слов) - 16:49, 29 мая 2015
- Становление первых научных программ: атомизм; математическая картина мира пифагореизма и платонизма; разработка теории доказательств (в ...еркви, энциклопедий, многочисленных "Сумм", "Компендиумов" и "Бестиариев". Логика (искусство рассуждать) - движущая пружина средневековой учености. Развитие ...244 КБ (1034 слова) - 15:17, 22 декабря 2024
- В [[w:Математическая логика|математической логике]] такой «итератор» называется [[w:Квантор|квантором]] ...ти (он же — логический итератор <code>.all?</code>), из [[w:Математическая логика|математической логики]] был перенесен и квантор существования — <math>\exis ...402 КБ (12 353 слова) - 02:56, 17 января 2025
- ...ve|TTL]] или [[w:Тип обслуживания|TOS]]). Кроме того, была слегка изменена логика работы цепочек: в ipchains все входящие пакеты, включая транзитные, проходи ...стандартных файлах. В системе не создаются никакие вспомогательные данные. Логика работы спроектирована таким образом, что нарушение целостности конфигурации ...400 КБ (10 169 слов) - 04:34, 24 декабря 2024
- ...оторые читают флаги и на основании флагов принимают решения. Есть команды, логика выполнения которых зависит от состояния флагов. В общем, через флаги между ...244 КБ (8049 слов) - 19:46, 19 марта 2025
- '''Математическая креатология''' (наука о взаимодействии креативной талантливой личности мате ...ричинах, механизмах, взаимосвязях, выводах, которые из этого следуют. Сама логика познания, исследования проблемы подталкивает его к тому, чтобы идти все дал ...370 КБ (1479 слов) - 11:52, 31 мая 2011