-
1 вивід
ВИВІД - логічна побудова, яка виникає внаслідок застосування відповідних правил для впорядкування певної сукупності суджень таким чином, що це перетворює її на послідовний ланцюг взаємопов'язаних тверджень. Правила впорядкування суджень називаються правилами В. Кінцевий результат цієї послідовності, висновок, також називають "В.". Правила В. задаються схемою: "якщо (у В.) є висловлювання А1,...Ап, то можна одержати висловлювання В.". Конкретний вигляд В. залежить від типу логічного мислення, в якому він будується. У математичній логіці логічний В. формалізується. Внаслідок строгої формалізації поняття "В." і "доведення" стають математичними об'єктами і їх можна вивчити науковими методами. Результати дослідження в теорії формального В. відіграли важливу роль у вивченні основ математики, зокрема, завдяки їм стало можливим використовувати для пошуку доведення обчислювальні машини. В. у математичній логіці - формалізація поняття "В.", що її здійснюють при побудові формальної системи логістичним методом. -
2 вивіз
exportation, export -
3 вивід
-
4 вивіз
ч1) removal, talking out, pickup2) ек. export -
5 вивід
1) (род. - ви́воду; действие) вы́вод, выведе́ние2) (род. - ви́воду) вы́водок3) (род. - ви́вода) труба́ (дымова́я)4) (род. - ви́воду) техн. вы́вод -
6 вивіз
-
7 вивітріти
безл.вы́ветреть -
8 вивіз
wywizч. -
9 вивітріти
wywitrityдієсл. -
10 ВИВ
сокр. от величина изменения высоты -
11 вивід
вчт; техн.; физ. вы́вод (концов провода; устройство) -
12 вивіз
техн. своз ( вывоз) -
13 вивір
матем.; техн. пове́рка ( результат) -
14 вивід
დასკვნა; გაყვანა -
15 вивід
выснова -
16 вивітрити
= вивітритися; док. див. вивітрювати, вивітрюватися -
17 вивітритися
-
18 вивітрюватися
= вивітритисявивітрюватися з пам'яті — to fade out of one's memory, to be effaced from the memory
2) геол. to weather, to be weathered, to be eroded -
19 вивішувати
-
20 вивідувати
= вивідатиto find out, to worm out; to feel one's pulse
См. также в других словарях:
вивёр — вивёр, а … Русское словесное ударение
вивёр — вивёр, а … Русский орфографический словарь
вивёр — вивёр … Словарь употребления буквы Ё
вивёр — вивёр, вивёры, вивёра, вивёров, вивёру, вивёрам, вивёра, вивёров, вивёром, вивёрами, вивёре, вивёрах (Источник: «Полная акцентуированная парадигма по А. А. Зализняку») … Формы слов
Вив — Вив: Имя От Вивиан Андерсон, Вив Вивиан (Вив) Джон Вудворд (англ. Vivian Viv John Woodward; 3 июня 1879, Кеннингтон, Лондон 31 января 1954, Илинг, Лондон) английский футбольный нападающий, двукратный олимпийский чемпион в составе сборной… … Википедия
ВИВ — величина изменения высоты воздушной цели Словари: Словарь сокращений и аббревиатур армии и спецслужб. Сост. А. А. Щелоков. М.: ООО «Издательство АСТ», ЗАО «Издательский дом Гелеос», 2003. 318 с., С. Фадеев. Словарь сокращений современного… … Словарь сокращений и аббревиатур
ВИВЁР — ВИВЁР, вивера, муж. (франц. viveur) (разг. устар.). Человек, живущий в свое удовольствие. Толковый словарь Ушакова. Д.Н. Ушаков. 1935 1940 … Толковый словарь Ушакова
ВИВЁР — (франц. viveur, от vivre жить). Человек, ведущий веселую жизнь; весельчак; кутила, прожигатель жизни. Словарь иностранных слов, вошедших в состав русского языка. Чудинов А.Н., 1910. ВИВЁР живущий исключительно ради своих удовольствий. Словарь… … Словарь иностранных слов русского языка
ВИВ — см. Величина изменения высоты. Самойлов К. И. Морской словарь. М. Л.: Государственное Военно морское Издательство НКВМФ Союза ССР, 1941 … Морской словарь
вивёр — а, м. viveur m. устар. Любитель пожить в свое удовольствие. БАС 2. Сначала жил был enfant de bonne maison, потом жил был лихой корнет, потом блестящий вивер, потом вивер прогоревший, потом ташкентец или обруситель. Салт. Совр. идиллия. На вид он… … Исторический словарь галлицизмов русского языка
вив — I. ВИВ I vive f. Рыба морская, величиной и видом сходная к макрели, очень вкусная, имеющая тело твердое, белое и крошащееся и не отягчающее желудок. Называется она Скат или Паук. Сл. пов. 1795. 1 246. Вивы жареные на вертеле. Вивы с селлерею. Сл … Исторический словарь галлицизмов русского языка