• А
  • Б
  • В
  • Г
  • Д
  • Е
  • Ж
  • З
  • И
  • Й
  • К
  • Л
  • М
  • Н
  • О
  • П
  • Р
  • С
  • Т
  • У
  • Ф
  • Х
  • Ц
  • Ч
  • Ш
  • Щ
  • Ф
  • Э
  • Ю
  • Я
  • Формализованный язык

    Формализованный язык, 1) в широком смысле - любая совокупность некоторым образом специализированных языковых средств с (более или менее) точно фиксированными правилами образования "выражений" (…



    Формалин

    Формалин, формоль, водный (обычно 37-40% -ный) раствор формальдегида, содержащий 4-12% метилового спирта в качестве стабилизатора; бесцветная жидкость со своеобразным острым запахом. При длительном…



    Формальдегид

    Формальдегид (от лат. formica - муравей), муравьиный альдегид, CH2O, первый член гомологического ряда алифатических альдегидов; бесцветный газ с резким запахом, хорошо растворимый в воде и спирте…



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

    Формальная арифметика, формулировка арифметики в виде формальной (аксиоматической) системы (см. Аксиоматический метод). Язык Ф. а. содержит константу 0, числовые переменные, символ равенства…



    Формальная грамматика

    Формальная грамматика, в языкознании, одно из средств строгого описания естественных языков; один из разделов математической лингвистики (см. Грамматика формальная)…



    Формальная логика

    Формальная логика, наука о мышлении, предметом которой является исследование умозаключений и доказательств с точки зрения их формы и в отвлечении от их конкретного содержания. Ф. л. – базисная наука; её идеи и методы используются как в повседневной практике, например в качестве средства предотвращения логических ошибок, так и в особенности в теории для логического анализа научного знания. См. Логика.

     

    Логика

    Логика (греч. logik ), наука о приемлемых способах рассуждения. Слово "Л." в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. logos, от которого…