Фото новости Сергей Кравцов прокомментировал итоги ПМЭФ и с иронией ответил на вопрос о якобы описке в слове
Фото новости В МГППУ объяснили, почему важно обучать школьников правильному использованию ИИ
Фото новости В Институте содержания и методов обучения объяснили, к чему может привести использование ИИ в школах
Смотреть все новости

Загадка с катером
 
Загадка с катером
Смотреть все загадки

Фото загадки Что не так в этой картинке?
Фото загадки Изолируйте 9 кошек
Фото загадки Три чашки
Смотреть все статьи
IPB

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

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


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

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

ТАРСКИЙ - (Tarski) Альфред (1902-83) , польский и американский логик и математик, один из главных представителей львовско-варшавской школы. С 1939 в США. Труды по логико-алгебраической теории моделей, методам изучения исчисления предикатов. Основоположник логической семантики как дедуктивной теории.

Ссылка на документ: ТАРСКИЙ
Текстовая версия
Форум IP.Board © 2025  IPS, Inc.
Лицензия зарегистрирована на: Veni Vidi Vici
Copyright © by "Российский информационно-образовательный портал Veni Vidi Vici", 2008-2022. При использовании материалов с портала, активная ссылка на www.vevivi.ru обязательна.

Вадим Сергеевич ТОНКОВ
артист эстрады. Вместе с Борисом ВЛАДИМИРОВЫМ создал дуэт комический дуэт старушек — Авдотьи Никитичны (Владимиров) и Вероники Маврикиевны (Тонков). >>>
Смотреть календарь

В помещении клуба «Картонажник» гроссмейстер Остап БЕНДЕР произнес пламенную речь перед жителями Васюков, прочитал лекцию на тему «Плодотворная дебютная идея» и дал сеанс одновременной игры, закончившийся разгромом прославленного шахматиста и позорн...>>>
Смотреть календарь

ОТШПИЛИВАТЬСЯ отшпиливаюсь, отшпиливаешься, несов. 1. Несов. к отшпилиться. 2. Страд. к отшпиливать.