Логотип
Юнионпедия
Связь
Доступно в Google Play
Новый! Скачать Юнионпедия на вашем Android™ устройстве!
Скачать
Более быстрый доступ, чем браузер!
 

Синтаксис (логика)

Индекс Синтаксис (логика)

Синтаксис (в логике) (логический синтаксис) — раздел формальной логики, изучающий правильность построения выражений, безотносительно к тому, есть ли у этих выражений логические значения и если есть, то какие именно.

6 отношения: XX век, Скотт, Дана, Тернарная операция, Монтегю, Ричард, Бинарная операция, Логическая семантика.

XX век

мини XX век (двадцатый век, 20 век, двадцатое столетие) — отрезок времени, продолжительностью 100 лет, с по.

Новый!!: Синтаксис (логика) и XX век · Узнать больше »

Скотт, Дана

Да́на Стю́арт Скотт (Dana Stewart Scott, р. 11 октября 1932 года) — американский, известный работами в области математической логики и информатики.

Новый!!: Синтаксис (логика) и Скотт, Дана · Узнать больше »

Тернарная операция

Тернарная операция (от tri — три) — операция, имеющая 3 операнда.

Новый!!: Синтаксис (логика) и Тернарная операция · Узнать больше »

Монтегю, Ричард

Ричард Монтегю в Калифорнийском университете, 1967 г. Ри́чард Ме́ретт Монтегю́ (Richard Merett Montague, 20 сентября 1930, Стоктон (Калифорния) — 7 марта 1971, Лос-Анджелес) — американский математик, философ.

Новый!!: Синтаксис (логика) и Монтегю, Ричард · Узнать больше »

Бинарная операция

Бина́рная опера́ция (от bi — два) — математическая операция, принимающая два аргумента и возвращающая один результат (то есть с арностью два).

Новый!!: Синтаксис (логика) и Бинарная операция · Узнать больше »

Логическая семантика

Логическая семантика Логическая семантика — «Философский термин» — («рассуждение», «мысль», «разум») — раздел логики, в котором изучаются отношения языковых символов к обозначаемым ними объектам и выражаемому ними содержанию.

Новый!!: Синтаксис (логика) и Логическая семантика · Узнать больше »

Перенаправления здесь:

Синтаксис (в логике), Синтаксис логический.

ИсходящиеВходящий
Привет! Мы на Facebook сейчас! »