8247

    Светлов, В. А.
    Логика [Электронный ресурс] : учебное пособие / Светлов В. А. - Саратов : Ай Пи Эр Медиа, 2012. - 267 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
УДК
ББК 87.6

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

Перейти: Перейти к просмотру издания
Свободных экз. нет

   

    Алябьева, Валентина Георгиевна.
    Математическая логика. Формальная логика [Электронный ресурс] : учебное пособие для студентов, обучающихся по направлениям подготовки бакалавров «Прикладная математика и информатика», «Фундаментальная информатика и информационные технологии» / В. Г. Алябьева ; М-во образования и науки РФ, Перм. гос. нац. исслед. ун-т. - Электрон. дан. (2,77 Мб). - Пермь : ПГНИУ, 2021. - 109 с. - ISBN 978-5-7944-3611-2 : 0.00
ГРНТИ
УДК
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА (ТЕРМИНОЛОГИЯ) -- ФОРМАЛЬНАЯ ЛОГИКА -- УМОЗАКЛЮЧЕНИЯ -- СИЛЛОГИЗМЫ -- ЛОГИЧЕСКИЙ КВАДРАТ -- РАССУЖДЕНИЯ (ЛОГИКА)

Перейти: Полный текст

Доп.точки доступа:
Министерство образования и науки Российской Федерации; Пермский государственный национальный исследовательский университет
Свободных экз. нет