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

Базы данных


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

Виды поиска

Область поиска
В текущей базе данных найдено документов :10
 В других БД по вашему запросу найдено:Электронный каталог (2)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ<.>)
Общее количество найденных документов : 10
Показаны документы с 1 по 10
1.

    Зиновьев, Александр Александрович.
    Очерки комплексной логики [Текст] : научное издание / Александр Александрович Зиновьев. - Москва : Эдиториал УРСС, 2000. - 557, [3] с. - ISBN 5-8360-0125-1 (в пер.) : 65.00 р.
УДК

Рубрики: логика--логика

Кл.слова (ненормированные):
комплексная логика -- многозначная логика -- логическое следование -- квазиследование -- физическое следование -- кванторов теория -- логика классов (множеств) -- логическая математика -- логическая физика -- логическая методология науки -- логика
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

2.

    Войшвилло, Евгений Казимирович.
    Философско-методологические аспекты релевантной логики [Текст] : научное издание / Е. К. Войшвилло. - Москва : Изд-во Моск. ун-та, 1988. - 139, [5] с. - ISBN 5-211-00019-6 : 20.00 р.
УДК

Рубрики: логика--логика

Кл.слова (ненормированные):
релевантная логика -- парадоксы -- логическое следование -- семантика -- зависимость -- релевантность -- импликация -- логическая система -- классическая логика -- логика
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

3.

    Никольская, И. Л.
    Математическая логика [Текст] : учеб. / И. Л. Никольская. - М. : Высшая школа, 1981. - 127 с. : ил. ; 20 см. - 0.25 р.
ГРНТИ
УДК
ББК 22.12

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

Кл.слова (ненормированные):
математика -- математическая логика -- логические операции -- логическая равносильность -- логическое следование -- нормальные формы
Аннотация: Книга предназначена для учащихся техникумов по специальности 1750 "Прикладная математика" и содержит теоретический материал, соответствующий программе курса "Математическая логика", а также упражнения для активного усвоения курса и приобретения необходимых навыков. Изложение базируется на знаниях по математике, полученных учащимися в восьмилетней школе, и на усвоенных ими языковых нормах.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

4.

    Куликов, В. В.
    Дискретная математика [Текст] : учеб. пособие / В. В. Куликов. - М. : РИОР, 2012. - 174 с. : ил. ; 22 см. - (Высшее образование). - Библиогр.: с. 171 (8 назв.). - ISBN 978-5-369-00205-6 : 187.10 р.
Гриф: рек. УМО по образованию в обл. телекоммуникаций в качестве учеб. пособия для студ. вузов, обуч. по спец. 071700 "Физика и техника оптической связи", 200900 "Сети связи и системы коммутации", 201000 "Многоканальные телекоммуникационные системы", 201100 "Радиосвязь, радиовещание и телевидение", 201200 "Средства связи с подвижными объектами", 201300 "Защищенные системы связи"
ГРНТИ
УДК
ББК 22.176

Рубрики: Математика--Дискретная математика

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

5.

   
    Проблемы логики научного познания [Текст] : сб. статей / Ин-т философии (Москва) ; отв. ред. П. В. Таванец. - М. : Изд-во "Наука", 1964. - 410 с. : ил. ; 21 см. - Библиогр. в конце ст. - 1.78 р.
УДК

Кл.слова (ненормированные):
ЛОГИКА НАУЧНОГО ПОЗНАНИЯ -- ДЕДУКТИВНЫЙ МЕТОД -- ВЕРОЯТНОСТНАЯ ЛОГИКА -- ЛОГИКА НАУКИ -- ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ -- ФИЗИЧЕСКОЕ СЛЕДОВАНИЕ
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


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

6.

   
    Проблемы логики и теории познания [Текст] : сборник / под ред. И. С. Нарского. - М. : Изд-во Моск. ун-та, 1968. - 319 с. ; 21 см. - Библиогр. в конце ст. - 1.22 р.
УДК

Кл.слова (ненормированные):
ОТРАЖЕНИЕ СВОЙСТВ ОБЪЕКТОВ -- ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ -- ТЕОРИЯ ПОЗНАНИЯ -- МНОГОЗНАЧНАЯ ЛОГИКА -- ФИЛОСОФСКИЕ ПРОБЛЕМЫ -- ВЕРОЯТНОСТНЫЕ МЕТОДЫ ИССЛЕДОВАНИЯ -- АЛГОРИТМИЧЕСКИЕ ПРЕДМЕТНЫЕ УКАЗАТЕЛИ
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Нарский, И. С.
Найти похожие

7.

    Сидоренко, Е. А.
    Логическое следование и условные высказывания [Текст] : научное издание / Е. А. Сидоренко ; отв. ред. П. В. Таванец ; Ин-т философии. - М. : Изд-во "Наука", 1983. - 173 с. ; 21 см. - Библиогр.: с. 169-171 (60 назв.). - 0.95 р.
ГРНТИ
УДК

Рубрики: Философия--Логика

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


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

8.

    Стяжкин, Н. И.
    Становление идей математической логики [Текст] : научное издание / Н. И. Стяжкин ; отв. ред. А. Л. Субботин ; Акад. наук СССР (Москва). - М. : Изд-во "Наука", 1964. - 304 с. : ил. ; 20 см. - Библиогр.: с. 277-298 (460 назв.). - 0.95 р.
УДК

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ -- СИМВОЛИЧЕСКАЯ ЛОГИКА -- ЛОГИСТИКА -- АЛГЕБРО-ЛОГИЧЕСКАЯ ПРОБЛЕМАТИКА
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Субботин, А. Л.
Найти похожие

9.

   
    Исследование логических систем [Текст] : сборник / Ин-т философии (Москва) ; отв. ред. П. В. Табанец. - М. : Наука, 1970. - 334 с. : граф., рис., табл. ; 20 см. - Библиогр.: с. 329-331 . - 1.05 р.
ГРНТИ
УДК

Рубрики: Математика--Анализ

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


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

10.

   
    Теория логического вывода [Текст] : научное издание / Ин-т философии (Москва) ; отв. ред. П. В. Таванец. - М. : Наука, 1973. - 272 с. : граф., рис., табл. ; 20 см. - Библиогр.: с. 270 . - 0.76 р.
ГРНТИ
УДК

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

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


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

 
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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