IPB

Здравствуйте, гость ( Вход | Регистрация )

Введите слово для поиска


Результаты поиска

Современный толковый словарь

ЛОГИЧЕСКИЙ СИНТАКСИС , - в широком смысле - теория (возможно, аксиоматическая), рассматривающая основные принципы построения логарифмических исчислений и их формальную структуру (теоретический логический синтаксис); в узком смысле - запас выразительных средств для формулирования утверждений о формальных выражениях (языке) логического исчисления (элементарный логический синтаксис).

Ссылка на документ: ЛОГИЧЕСКИЙ СИНТАКСИС ,
Текстовая версия

Хорст ХЕРНЛЯЙН
немецкий (ГДР) спортсмен, олимпийский чемпион 1972 года в спуске на санях-двойке. >>>

Смотреть календарь

Специальный комитет при новом президенте США Гарри ТРУМЭНЕ начал обсуждение проблемы атомной бомбы, обладателями которой вскоре должны были стать американцы. Одним из вопросов двухдневной дискуссии были отношения с СССР: стоит ли делиться тайной со ...>>>
Смотреть календарь

ПОЗДАТЬ, опаздывать, запаздывать. Не поздай, иди! Опоздавшему гостю кости. Запоздавший путник. Поздный или поздний, поздый вост. поздой, последующий раннему и среднему, по поре; конечный или близкий к концу, по времени; отдаленный, по времени. Поздни...