Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


БД "Книги" - результаты поиска

Вид поиска

Область поиска
 Найдено в других БД:БД "Статьи" (2)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=логическое следование<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.
   22.12
   У77


    Успенский, Владимир Андреевич.
    Вводный курс математической логики [Текст] : [учеб. пособие] / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - М. : Физматлит, 2004. - 126 с. - Библиогр.: с. 122. - Предм. указ.: с. 123. - ISBN 5-9221-0278-8 : 114.44 р.
ББК 22.12я73
Рубрики: Математическая логика
Кл.слова (ненормированные):
теория множеств -- теорема Кантора -- языки первого порядка -- логические операции -- кванторы -- элементы теории доказательств -- логическое следование -- теорема Гёделя -- теорема алгоритмов


Доп.точки доступа:
Верещагин, Н.К.; Плиско, В.Е.
Экземпляры всего: 5
аб. (3), ч.з. (2)
Свободны: аб. (2), ч.з. (2)
Найти похожие

2.
   87.4
   К93


    Курбатов, Владимир Иванович.
    Логика для юристов [Текст] : учеб. пособие / В.И. Курбатов. - М. : Дашков и К ; Ростов н/Д : Наука и Пресс, 2009. - 480 с. - Библиогр. : с. 474. - ISBN 978-5-394-00227-4 (в пер.) : 287.28 р.
ББК 87.4я73
Рубрики: Логика
Кл.слова (ненормированные):
история логики -- логика Аристотеля -- логика Канта -- логика Гегеля -- корректное мышление -- законы мышления -- традиционная логика -- логическая теория понятия -- гипотеза -- классическая логика -- логическое следование -- неклассическая логика -- аргументация -- искусство судебного оратора -- доказательство в правовом процессе -- процесс доказывания -- риторика и право -- риторика античная -- практическая логика
Аннотация: В соответствии с Государственным образовательным стандартом в учебном пособии рассматриваются история логических идей от античности до современности, теоретическая логика, традиционная, классическая и неклассическая (модальная) логика, практическая логика в правовом дискурсе (теория и практика аргументации, риторика и ораторское искусство, искусство судебного оратора, доказательство в правовом процессе), предлагаются контрольные вопросы, упражнения, задачи и литература. Основные логические закономерности иллюстрированы различными примерами из области права, правовыми прецедентами и казусами.

Экземпляры всего: 1
ч.з. (1)
Свободны: ч.з. (1)
Найти похожие

3.
   87.4
   Н76


    Новоселов, Михаил Михайлович.
    Беседы о логике [Текст] : моногр. / М. М. Новоселов ; РАН. Ин-т философии. - М. : [б. и.], 2006. - 160 с. - ISBN 5-9540-0060-3. - ISBN 978-5-9540-0060-3 : 180.00 р.
ББК 87.4
Рубрики: Философия
   Логика

Кл.слова (ненормированные):
логика и аргументация -- семиотика -- семантика -- прагматика -- язык логики -- логика высказываний -- логические связки -- законы логики -- логическое следование -- простое следствие -- дедукция высказываний -- принцип противоречия


Доп.точки доступа:
Российская Академия Наук. Институт философии
Экземпляры всего: 1
ч.з. (1)
Свободны: ч.з. (1)
Найти похожие

4.
   22.12
   П 58


    Попов, Сергей Викторович.
    Прикладная логика [Текст] / С. В. Попов, Н. Л. Брошкова. - М. : Физматлит, 2011. - 216 с. : рис. - Библиогр. : с. 210 . - ISBN 978-5-9221-1340-3 (в пер.) : 216.00 р.
ББК 22.12
Рубрики: Математика
   Математическая логика

Кл.слова (ненормированные):
теория множеств -- логическое следование -- логические матрицы -- алгебра матриц -- логические задачи -- синтаксический логический анализ -- логические исчисления -- секвенциальное исчисление -- преоразования выводов


Доп.точки доступа:
Брошкова, Наталья Леонидовна
Экземпляры всего: 1
ч.з. (1)
Свободны: ч.з. (1)
Найти похожие

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