ИСЧИСЛЕНИЕ

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

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

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




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

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



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

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






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

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







    Locations of visitors to this page



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