Главная Сайт МБУ "МИБС" Инструкция по поиску в WEB-ИРБИС Видеоуроки по поиску в WEB-ИРБИС
Авторизация
Фамилия
№ читательского билета
 

Базы данных


Электронный каталог- результаты поиска

Вид поиска

Область поиска
 Найдено в других БД:Статьи (6)
Поисковый запрос: (<.>K=ЛОГИЧЕСКИЕ СВЯЗИ<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.
   87.4
   Г 47


    Гильберт, Дэвид.
    Основы теоретической логики / Д. Гильберт, В. Аккерман ; пер. с нем. А. А. Ерофеева ; ред., вступ. ст. и коммент. С. А. Яновской. - Москва : Госиздат иностранной литературы, 1947. - 304 с. - Библиогр.: с. 297-298. - Приложение: с. 208-296. - 1.46 р.
ББК 87.4
Рубрики: Логика
Кл.слова (ненормированные):
ЛОГИКА ВЫСКАЗЫВАНИЯ (КОМП.) -- МАТЕМАТИКА -- ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ -- ЛОГИЧЕСКИЕ СВЯЗИ -- ИСЧИСЛЕНИЕ (ЛОГ.) -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ПРЕДИКАТЫ (ЛОГ.) -- ЛОГИСТИКА -- ЛОГИКА ПРИКЛАДНАЯ -- ДОКАЗАТЕЛЬСТВО (ЛОГ.) -- ТЕОРИЯ МАТЕМАТИЧЕСКОГО ДОКАЗАТЕЛЬСТВА -- СВОДИМОСТЬ (ЛОГ,) -- ПАРАДОКСЫ -- ЛОГИЧЕСКИЕ ПАРАДОКСЫ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА


Доп.точки доступа:
Ерофеев, А.А. \.\; Яновская, С.А. \.\; Аккерман, В. \.\
Экземпляры всего: 2
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (2)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (2)
Прямая ссылка
Найти похожие

2.
   87.4
   Б 32


    Бачманов, Владимир Степанович.
    Методологические вопросы формальной логики / В. С. Бачманов ; Ленинградский государственный университет имени А. А. Жданова. - Ленинград : Издательство Ленинградского университета, 1969. - 111, [1] с. - 0.47 р.
ББК 87.4
Рубрики: Логика
Кл.слова (ненормированные):
ФОРМАЛЬНАЯ ЛОГИКА -- ЛОГИЧЕСКИЕ ЗАКОНЫ -- ЛОГИЧЕСКИЕ СВЯЗИ -- ЛОГИЧЕСКОЕ СОДЕРЖАНИЕ -- ЛОГИЧЕСКИЙ МЕТОД
Аннотация: В книге освещаются следующие проблемы: формальная логика и марксистско-ленинская философия, природа логической формы и специфика законов формальной логики, логические законы и внешний мир, логические связи как основа логического метода, формальная логика как учение о методе. Формальная логика рассматривается автором как самостоятельная наука, которая не может быть заменена ни диалектической, ни математической логикой.


Доп.точки доступа:
Ленинградский государственный университет имени А. А. Жданова
Экземпляры всего: 1
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Прямая ссылка
Найти похожие

 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)