logicdesign simulator: logic-design simulatorмоделирующая программа (для) логического проектирования (схем)
Примеры
They indulge in what logicians call systematically misleading expressions. Она позволяет себе делать то, что по законам логики называется введением в заблуждение.
The first logicians to debate conditional statements were Diodorus and his pupil Philo of Megara. Первыми логиками, которые спорили об условных утверждениях были Диодор Крон и его ученик Филон из Мегары.
Dr Vardi is an editor of several international journals and the president of the International Federation of Computational Logicians. Доктор Варди является редактором нескольких международных журналов и президентом International Federation of Computational Logicians.
Dr Vardi is an editor of several international journals and the president of the International Federation of Computational Logicians. Доктор Варди является редактором нескольких международных журналов и президентом International Federation of Computational Logicians.
If not all of them philosophers, they are, at any rate, all logicians, their objections and arguments being based on strict reasoning. Если и не все они философы, то, уже во всяком случае, все привержены логике и свои возражения и доказательства основывают на строгом рассуждении.
Some philosophers and logicians disagree with the philosophical conclusions that Chaitin has drawn from his theorems related to what Chaitin thinks is a kind of fundamental arithmetic randomness. Некоторые философы и логики абсолютно не согласны с философскими заключениями, которые Хайтин вывел из своих теорем.
The truth conditions of various sentences we may encounter in arguments will depend upon their meaning, and so logicians cannot completely avoid the need to provide some treatment of the meaning of these sentences. Условия истинности различных предложений, которые могут присутствовать в аргументах, зависят от их смысла, поэтому добросовестные учёные не могут полностью обойтись без какого-либо описания смысла этих предложений.