DictionaryForumContacts

   Russian thesaurus
А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я   <<  >>
Terms for subject General (88732 entries)
ловкачка ловкач
гнездарь ловчая птица, вынутая из гнезда птенцом и вскормленная в неволе
десятичный логарифм логарифм по основанию 10. Десятичный логарифм числа а обозначают lga.
натуральный логарифм логарифм, основание которого - неперово число е = 2,718 28 - Натуральный логарифм числа а обозначают ln а.
бел логарифмическая единица отношения двух величин (десятичный логарифм отношения двух одноимённых физических величин, напр. мощностей, токов, звукового давления) обозначается бел. Назван по имени изобретателя телефона А. Г. Белла. Чаще применяют 0,1 долю бела - децибел.
Курт Гедель логик и математик. Родился в Австро-Венгрии, с 1940 в США. Труды по математической логике и теории множеств. Доказал (1931) т. н. теоремы о неполноте (теоремы Геделя) из которых, в частности, следует, что не существует полной формальной теории, где были бы доказуемы все истинные теоремы арифметики.
индуктивная логика логика индукции, совокупность теорий, в которых изучаются выводы из посылок, необходимых, но недостаточных для логической дедукции, а также математические критерии для степени оправдания следствий из таких посылок
логика классов логика объёмов понятий, раздел логических теорий, в котором изучаются операции над классами (множествами) и свойства этих операций (законы логики классов)
интуиционистская логика логика, удовлетворяющая интуиционистским требованиям к математическим рассуждениям.
финитизм логико-математическая концепция, согласно которой в метатеории допускаются лишь финитные (интуитивно ясные, бесспорные) средства рассуждений, проводимых в терминах обычного языка. См. также Формализм математический.
модальная логика логическая теория модальностей (модальных операторов) применяемых к высказываниям или предикатам; играет важную роль в логической семантике.
отрицание логический эквивалент оборота "неверно, что..." или просто частицы "не"; операция, формализующая логические свойства этих слов.
конъюнкция логический эквивалент союза "и"; операция, формализующая логические свойства этого союза.
Пор-Рояля Логика логическое учение, основано на принципах философии Декарта и Паскаля; систематически изложена в книге близких к монастырю Пор-Руаяль А. Арно и П. Николя "Логика, или Искусство мыслить" (1662) в которой логика определяется как наука, формулирующая методы установления истины в науках о природе и математике.
логопатический логопатия
лодочный лодка
пирога лодка индейцев Юж. Америки - деревянный каркас, обтянутый корой или шкурами. Название перенесено европейцами на сходные по форме лодки других народов.
лодочница лодочник
лодыжный лодыга
ложевой ложа