30 отношения: Hewlett-Packard, PostScript, Principia Mathematica, S-выражение, Квантор существования, Квантор всеобщности, Конъюнкция, Польша, Отрицание, Обратная польская запись, Алгебраическое выражение, Рассел, Бертран, Стековый язык, Уайтхед, Альфред Норт, Чёрч, Алонзо, Штрих Шеффера, Эквиваленция, Электронно-вычислительная машина, Модальная логика, Итерация (программирование), Импликация, Инфиксная нотация, Информатика, Дизъюнкция, Лукасевич, Ян, Лисп, Логическое выражение, Логика высказываний, Ленивые вычисления, 1920 год.
Hewlett-Packard
Hewlett-Packard (HP, Хью́летт-Па́ккард) — одна из крупнейших американских компаний в сфере информационных технологий, существовавшая в период 1939—2015 годов, поставщик аппаратного и программного обеспечения для организаций и индивидуальных потребителей.
Новый!!: Польская нотация и Hewlett-Packard · Узнать больше »
PostScript
PostScript (Постскрипт) — язык описания страниц, в основном используемый в настольных издательских системах.
Новый!!: Польская нотация и PostScript · Узнать больше »
Principia Mathematica
Principia Mathematica — трёхтомный труд по логике и философии математики Альфреда Норта Уайтхеда и Бертрана Рассела, выпущенный в 1910, 1912 и 1913 годах.
Новый!!: Польская нотация и Principia Mathematica · Узнать больше »
S-выражение
Термин S-выражение или sexp (для символического выражения) относится к соглашению о способе записи в доступной для человеческого понимания текстовой форме.
Новый!!: Польская нотация и S-выражение · Узнать больше »
Квантор существования
Квантор существования (экзистенциальный квантификатор) в предикатной логике — предикат свойства или отношения для по крайней мере одного элемента из области определения.
Новый!!: Польская нотация и Квантор существования · Узнать больше »
Квантор всеобщности
Квантор всеобщности (обозначения: \forall, ∀) — это условие, которое верно для всех обозначенных элементов, в отличие от ''квантора существования'', где условие верно только для каких-то отдельных элементов из указанного множества.
Новый!!: Польская нотация и Квантор всеобщности · Узнать больше »
Конъюнкция
Конъю́нкция (от conjunctio — «союз, связь») — логическая операция, по смыслу максимально приближенная к союзу «и».
Новый!!: Польская нотация и Конъюнкция · Узнать больше »
Польша
По́льша (Polska), официальное название — Респу́блика По́льша (Rzeczpospolita Polska) — государство в Центральной Европе.
Новый!!: Польская нотация и Польша · Узнать больше »
Отрицание
Отрица́ние, инве́рсия (от inversio — «переворот»), логи́ческое «НЕ» в логике — унарная операция над суждениями, результатом которой является суждение (в известном смысле) «противоположное» исходному.
Новый!!: Польская нотация и Отрицание · Узнать больше »
Обратная польская запись
Обра́тная по́льская запись (ОПЗ) — форма записи математических и логических выражений, в которой операнды расположены перед знаками операций.
Новый!!: Польская нотация и Обратная польская запись · Узнать больше »
Алгебраическое выражение
Алгебраическим выражением называется одна или несколько алгебраических величин (чисел и букв), соединенных между собой знаками алгебраических действий: сложения, вычитания, умножения и деления, а также извлечения корня и возведения в целую степень (причём показатели корня и степени должны обязательно быть целыми числами) и знаками последовательности этих действий (обычно скобками различного вида).
Новый!!: Польская нотация и Алгебраическое выражение · Узнать больше »
Рассел, Бертран
Бе́ртран А́ртур Уи́льям Ра́ссел, 3-й граф Рассел (Bertrand Arthur William Russell, 3rd Earl Russell; 18 мая 1872, Треллек, Уэльс — 2 февраля 1970, Уэльс) — британский,, и общественный деятель.
Новый!!: Польская нотация и Рассел, Бертран · Узнать больше »
Стековый язык
Стековый язык программирования (stack-oriented programming language) — это язык программирования, в котором для передачи параметров используется машинная модель стека.
Новый!!: Польская нотация и Стековый язык · Узнать больше »
Уайтхед, Альфред Норт
Альфред Норт Уайтхед (Alfred North Whitehead;,, Кент, Великобритания —,, Массачусетс, США) — британский математик, логик, философ, который вместе с Бертраном Расселом написал фундаментальный труд «Principia Mathematica» (1910—13), составивший основу логицизма и теории типов.
Новый!!: Польская нотация и Уайтхед, Альфред Норт · Узнать больше »
Чёрч, Алонзо
Алонзо Чёрч (Alonzo Church; 14 июня 1903 года, Вашингтон — 11 августа 1995 года, Хадсон, Огайо, США) — американский математик и логик, внесший значительный вклад в основы информатики.
Новый!!: Польская нотация и Чёрч, Алонзо · Узнать больше »
Штрих Шеффера
Штрих Ше́ффера — бинарная логическая операция, булева функция над двумя переменными.
Новый!!: Польская нотация и Штрих Шеффера · Узнать больше »
Эквиваленция
Логическая равнозначность или эквивале́нция (или эквивале́нтность) — это логическое выражение, которое является истинным тогда, когда оба простых логических выражения имеют одинаковую истинность.
Новый!!: Польская нотация и Эквиваленция · Узнать больше »
Электронно-вычислительная машина
Электро́нно-вычисли́тельная маши́на (сокращённо ЭВМ) — комплекс технических, аппаратных и программных средств, предназначенных для автоматической обработки информации, вычислений, автоматического управления.
Новый!!: Польская нотация и Электронно-вычислительная машина · Узнать больше »
Модальная логика
Модальная логика (от modus — способ, мера) — логика, в которой кроме стандартных логических связок, переменных и/или предикатов есть модальности (модальные операторы).
Новый!!: Польская нотация и Модальная логика · Узнать больше »
Итерация (программирование)
Пример итерации Итерация в программировании — организация обработки данных, при которой действия повторяются многократно, не приводя при этом к вызовам самих себя (в отличие от рекурсии).
Новый!!: Польская нотация и Итерация (программирование) · Узнать больше »
Импликация
Импликация (от implicatio — «связь») — бинарная логическая связка, по своему применению приближенная к союзам «если…, то…».
Новый!!: Польская нотация и Импликация · Узнать больше »
Инфиксная нотация
Инфиксная нотация — это форма записи математических и логических формул, в которой операторы записаны в инфиксном стиле между операндами на которые они воздействуют (например 2 + 2).
Новый!!: Польская нотация и Инфиксная нотация · Узнать больше »
Информатика
Информа́тика (Informatique; Computer science) — наука о методах и процессах сбора, хранения, обработки, передачи, анализа и оценки информации с применением компьютерных технологий, обеспечивающих возможность её использования для принятия решений.
Новый!!: Польская нотация и Информатика · Узнать больше »
Дизъюнкция
Дизъю́нкция (от disjunctio — «разобщение»), логи́ческое сложе́ние, логи́ческое ИЛИ, включа́ющее ИЛИ; иногда просто ИЛИ — логическая операция, по своему применению максимально приближённая к союзу «или» в смысле «или то, или это, или оба сразу».
Новый!!: Польская нотация и Дизъюнкция · Узнать больше »
Лукасевич, Ян
Ян Лукасе́вич (правильно: Лукашевич, Jan Łukasiewicz;, —) — польский логик, член Польской академии наук (1937), один из главных представителей львовско-варшавской школы.
Новый!!: Польская нотация и Лукасевич, Ян · Узнать больше »
Лисп
Массачусетского технологического института. Лисп (LISP, от LISt Processing language — «язык обработки списков»; современное написание: Lisp) — семейство языков программирования, программы и данные в которых представляются системами линейных списков символов.
Новый!!: Польская нотация и Лисп · Узнать больше »
Логическое выражение
Логическое выражение в программировании — конструкция языка программирования, результатом вычисления которой является «истина» или «ложь».
Новый!!: Польская нотация и Логическое выражение · Узнать больше »
Логика высказываний
Логика высказываний, или пропозициональная логика (propositio — «высказывание»), или исчисление высказываний — это раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения.
Новый!!: Польская нотация и Логика высказываний · Узнать больше »
Ленивые вычисления
Ленивые вычисления (lazy evaluation, также отложенные вычисления) — применяемая в некоторых языках программирования стратегия вычисления, согласно которой вычисления следует откладывать до тех пор, пока не понадобится их результат.
Новый!!: Польская нотация и Ленивые вычисления · Узнать больше »
1920 год
Без описания.
Новый!!: Польская нотация и 1920 год · Узнать больше »
Перенаправления здесь:
Польская запись, Префиксная запись, Префиксная нотация.