модальная логика oor Spaans
модальная логика
Vertalings in die woordeboek Russies - Spaans
Lógica modal
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
Например, Гёдель показал, что все теоремы интуиционистской логики имеют эквивалентные теоремы в классической модальной логике S4.
Dónde está la luz, por DiosWikiMatrix WikiMatrix
Это ей они ставят в соответствие модальную логику и ею измеряют тожде ство пропозиций.
Para que recuerde que ganó todo eso en una nocheLiterature Literature
Льюис наверняка предполагал кван тификацию модальных позиций, но он не развивал квантифицирован ную модальную логику.
¿ Ves?¡ Oscar ra, ra, ra!Literature Literature
Саул Крипке [859] определил семантику модальной логики знаний в терминах возможных миров.
No creo que yoLiterature Literature
S5 — одна из пяти систем модальной логики, предложенных Льюисом и Лэнгфордом в книге «Символическая логика» (англ. Symbolic Logic, 1932).
Aunque mejor sería decir que está enfermaWikiMatrix WikiMatrix
Две первые работы Крипке — A Completeness Theorem in Modal Logic и Semantical Considerations on Modal Logic (написанная еще в школе) — посвящены модальной логике.
Ponte esas ropasWikiMatrix WikiMatrix
Норман Малькольм возродил онтологический аргумент в 1960 году, найдя второй, более сильный, онтологический аргумент в работе Ансельма; Алвин Плантинга оспорил этот аргумент и предложил альтернативный, основанный на модальной логике.
que los anclajes suplementarios puedan utilizarse sin la ayuda de herramientas, se ajusten a los requisitos establecidos en los puntos #.#.#.# y #.#.#.# y estén situados en una de las zonas determinadas por traslación vertical de # mm hacia arriba o hacia abajo de la zona descrita en la figura # del anexo # del presente ReglamentoWikiMatrix WikiMatrix
Модальные операторы, используемые в логике линейного времени и логике деревьев вычислений, определяются следующим образом.
Querrás estar fuera del radarWikiMatrix WikiMatrix
8 sinne gevind in 3 ms. Hulle kom uit baie bronne en word nie nagegaan nie.