разрешимая теория


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

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. . 1997.


Просмотров: 870
Категория: Словари и энциклопедии » Философия » Словарь логики





Другие новости по теме:

  • АКТУАЛЬНОСТИ ТЕОРИЯ
  • метафизическая теория
  • моделей теория
  • ПРОИСХОЖДЕНИЯ ВИДОВ ТЕОРИЯ, или десцендентная
  • теория
  • теория
  • ТЕОРИЯ
  • теория
  • теория
  • ТЕОРИЯ
  • ТЕОРИЯ
  • теория бессознательного
  • ТЕОРИЯ В ЛОГИКЕ
  • ТЕОРИЯ ДВУХ СОСТОЯНИЙ (или пороговая теория Люса)
  • теория деятельности
  • ТЕОРИЯ КОГЕРЕНТНОСТИ
  • ТЕОРИЯ КОНВЕРГЕНЦИИ
  • ТЕОРИЯ ОБЩИННАЯ
  • теория отношений
  • теория поля
  • теория пороговая
  • теория поэтапного формирования умственных действий
  • теория прототипа
  • ТЕОРИЯ РАЗВИТИЯ ВОСПРИЯТИЯ ПУТЕМ ФОРМИРОВАНИЯ ПЕРЦЕПТИВНЫХ ДЕЙСТВИЙ
  • ТЕОРИЯ ТИПОВ
  • ТЕОРИЯ ТОМАСА
  • ТЕОРИЯ ЧИСЕЛ
  • формирования перцептивных действий теория
  • формирования умственных действий теория
  • ЭЛИТЫ ТЕОРИЯ



  • ---
    Разместите, пожалуйста, ссылку на эту страницу на своём веб-сайте:

    Код для вставки на сайт или в блог:       
    Код для вставки в форум (BBCode):       
    Прямая ссылка на эту публикацию:       






    Данный материал НЕ НАРУШАЕТ авторские права никаких физических или юридических лиц.
    Если это не так - свяжитесь с администрацией сайта.
    Материал будет немедленно удален.
    Электронная версия этой публикации предоставляется только в ознакомительных целях.
    Для дальнейшего её использования Вам необходимо будет
    приобрести бумажный (электронный, аудио) вариант у правообладателей.

    На сайте «Глубинная психология: учения и методики» представлены статьи, направления, методики по психологии, психоанализу, психотерапии, психодиагностике, судьбоанализу, психологическому консультированию; игры и упражнения для тренингов; биографии великих людей; притчи и сказки; пословицы и поговорки; а также словари и энциклопедии по психологии, медицине, философии, социологии, религии, педагогике. Все книги (аудиокниги), находящиеся на нашем сайте, Вы можете скачать бесплатно без всяких платных смс и даже без регистрации. Все словарные статьи и труды великих авторов можно читать онлайн.







    Locations of visitors to this page



          <НА ГЛАВНУЮ>      Обратная связь