| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска
Электронный каталог
ЭБС "ЛАНЬ"
ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")
ЭБС "ЮРАЙТ"
ЭБС "АЙБУКС"
ЭБС "РУКОНТ"
ЭБС "IPRBOOKS"
ЭБС "BOOK.ru"
Электронная библиотека
Известные деятели культуры в Саратовской губернии
Работы В. А. Артисевич и литература о ней
Издания вузовских библиотек Среднего и Нижнего Поволжья
Публикации учёных СГУ
Краеведческий обзор
Поступления журналов в ЗНБ СГУ
БД коллекций в фонде ЗНБ СГУ
БД выпускных квалификационных работ
Сводный каталог библиотек (СГУ, СГТУ, ЦБС)
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=МАТЕРИАЛЬНАЯ ИМПЛИКАЦИЯ<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.

   
    Неоклассическая логика [Текст] : научное издание / Ин-т философии (Москва) ; отв. ред. П. В. Таванец. - М. : Изд-во "Наука", 1970. - 383 с. ; 22 см. - 1.18 р.
ГРНТИ
27.03
УДК
510.6

Рубрики: Математика--Математическая логика

Кл.слова (ненормированные):
КЛАССИЧЕСКАЯ ЛОГИКА -- КОМПЛЕКСНАЯ ЛОГИКА -- СИСТЕМЫ ЛОГИЧЕСКОГО СЛЕДОВАНИЯ -- СИЛЛОГИСТИКА КЛАССОВ -- ТЕОРЕМЫ ТЕОРИИ КВАНТОВ -- СИСТЕМЫ ВЫРАЖЕННОГО СЛЕДОВАНИЯ -- МАТЕРИАЛЬНАЯ ИМПЛИКАЦИЯ -- ЛОГИКА ВРЕМЕНИ
Аннотация: В книге дается общая характеристика неоклассической логики, которая является разделом современной математической логики, рассказывается о перспективах ее развития и о возможности приложения ее в науке и технике.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Таванец, П. В.
Найти похожие
2.

    Марков, А. А.
    О логике конструктивной математики [Текст] : научное издание / А. А. Марков. - М. : Знание, 1972. - 47 с. ; 22 см. - (Новое в жизни, науке, технике. Математика, кибернетика ; 8). - Библиогр.: с. 46
ГРНТИ
27.03
УДК
51:164

Рубрики: Математика--Математическая логика

Кл.слова (ненормированные):
КОНСТРУКТИВНЫЕ ПРОЦЕССЫ -- АБСТРАКЦИЯ -- ПЕРЕМЕННЫЕ -- ПРЕДИКАТЫ -- МАТЕРИАЛЬНАЯ ИМПЛИКАЦИЯ -- ДЕДУКТИВНАЯ ИМПЛИКАЦИЯ -- КОНСТРУКТИВНАЯ МАТЕМАТИКА
Аннотация: В брошюре автор делает попытку объяснить понятие "конструктивная математика" и показать читателю, что эта наука нуждается в своей логике, отличной от логики классической. Брошюра, как отмечает автор, не может претендовать на точность и строгость изложения.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)