Результаты поиска

Перейти к навигации Перейти к поиску
Просмотреть (предыдущие 20 | ) (20 | 50 | 100 | 250 | 500)

Совпадения в названиях страниц

  • == Алгебраический вывод == == Наглядный вывод преобразований Лоренца == ...
    34 КБ (727 слов) - 15:09, 10 декабря 2023
  • ...ский язык|лат.]] fides: вера, доверие), как разновидность [[Статистический вывод|статистического вывода]], был [[История статистики|впервые предложен]] [[Фи Фидуциальный вывод может быть интерпретирован как попытка вычислить [[Обратная вероятность|обр ...
    16 КБ (495 слов) - 18:56, 13 января 2024
  • ...%D0%B8%D0%B9_%D0%B2%D1%8B%D0%B2%D0%BE%D0%B4 |title=Наука Вики, Байесовский вывод. |access-date=2015-06-07 |archive-date=2015-04-18 |archive-url=https://web. ''Байесовский вывод'' использует аспекты [[научный метод|научного метода]], который вовлекает с ...
    14 КБ (908 слов) - 19:37, 15 августа 2024
  • '''Натуральный вывод''' (''естественный вывод'') — тип [[Логическое исчисление|логических исчислений]], использующий для ...тор = {{iw|Правиц, Даг|Правиц Д.|sv|Dag Prawitz}} | заглавие = Натуральный вывод. Теоретико-доказательственное исследование | ответственный = перевод П. Быс ...
    6 КБ (230 слов) - 17:22, 28 мая 2024
  • '''Вывод типов''' ({{lang-en|type inference}}) — в [[Программирование|программирован Вывод типов характерен для [[Язык функционального программирования|функциональных ...
    14 КБ (536 слов) - 23:30, 7 октября 2024

Совпадения в текстах страниц

Просмотреть (предыдущие 20 | ) (20 | 50 | 100 | 250 | 500)