about icon-addNote android4 Answer apple4 icon-appStoreEN icon-appStoreES icon-appStorePT icon-appStoreRU Imported Layers Copy 7 icon-arrow-spined icon-ask icon-attention icon-bubble-blue icon-bubble-red ButtonError ButtonLoader ButtonOk icon-cake icon-camera icon-card-add icon-card-calendar icon-card-remove icon-card-sort chrome-extension-ru chrome-extension-es-mx chrome-extension-pt-br chrome-extension-ru comment comment icon-cop-cut icon-cop-star Cross Dislike icon-editPen icon-entrance icon-errorBig facebook flag flag_vector icon-globe icon-googlePlayEN icon-googlePlayRU icon-greyLoader icon-cake Heart 4EB021E9-B441-4209-A542-9E882D3252DE Created with sketchtool. Info Kebab icon-lamp icon-lampBig icon-learnHat icon-learning-hat Dislike Loup Loup icon-more icon-note icon-notifications icon-pen Pencil icon-play icon-plus-light icon-plus icon-rosie-cut Rune scrollUp Share-icon Shevron-Down Shevron Left Shevron Right sound sound1 sound2 sound3 sound4 sound2 icon-star Swap icon-translate Trash icon-tutor-ellipsis icon-tutor-flip Tutor folder icon icon-tutor-learned icon-twoWayArrow Mezhdunarodny_logotip_VK vk icon-word pen_icon Logo Logo Logo
sin ejemplosSe encuentra en 1 diccionario

El diccionario ruso-inglés de ciencias informáticas
  • The present edition has been significantly enriched with terms from such areas as logical device design and modeling, knowledge engineering, production computerization, artificial intelligence systems, computer networks, digital signal processing, parallel and pipeline computations, system analysis, Internet Technology.

пропозициональная связка

interpropositional connection лингв.

Ejemplos de los textos

Это рассуждение, которое совершенно сходно с рассуждением, выдвигаемым интуиционистами (но совершенно по-другому аргументируемым), показывает, что мы не можем понимать пропозициональные связки чересчур наивно.
This argument, which is quite similar to that advanced by the intuitionists (but for a very different reason), shows that we cannot take the sentential connectives too naively.
Карри, Хаскелл Б. / Основания математической логикиCurry, Haskell B. / Foundations of Mathematical Logic
Foundations of Mathematical Logic
Curry, Haskell B.
© 1963 by Haskell B. Curry.
© 1977 by Haskell B. Curry.
Основания математической логики
Карри, Хаскелл Б.
© Издательство «Мир», 1969

Añadir a mi diccionario

пропозициональная связка
interpropositional connection

Traducciones de usuarios

Aún no hay traducciones del este texto.
¡Sé primero de traducirlo!

Expresiones

унарная пропозициональная связка
unary propositional connective