Главная Упрощенный режим

Базы данных


Основная библиотечная БД - результаты поиска

Вид поиска
Основная библиотечная БД
Труды учёных ПГНИУ
Диссертации
Журналы
Рациональное природопользование
Иностранная периодика
Дореволюционная периодика
Библиотека юридичеcкого факультета (статьи)
Туризм
История Пермского университета
Продолжающиеся издания
Музейный книжный фонд
Область поиска
в найденном
 Найдено в других БД:Труды учёных ПГНИУ (3)
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=Логика высказываний<.>)
Общее количество найденных документов : 27
Показаны документы с 1 по 10
 1-10    11-20   21-27 
1.

Вид документа : Многотомное издание
Шифр издания : 16/В659
Автор(ы) : Войшвилло, Евгений Казимирович
Заглавие : Логика как часть теории познания и научной методологии. Фундаментальный курс: учебное пособие для студентов философских факультетов и преподавателей логики/ Е. К. Войшвилло, М. Г. Дегтярев. - (Программа "Обновление гуманитарного образования в России"). Кн. 1
Выходные данные : Москва: Наука, 1994
Колич.характеристики :312 с
ISBN, Цена 5-02-013514-3: 3000.00, 3000.00, р.
ГРНТИ : 02.21
УДК : 16(075.8)
ББК : Ю4 я73
Предметные рубрики: Логика
Ключевые слова (''Своб.индексиров.''): логика--язык (логический анализ)--дедукция--логика высказываний--исчисление высказываний
Экземпляры : всего : Х(1), АБУ(1)
Свободны : Х(1), АБУ(1)
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 517/С 892
Автор(ы) : Судоплатов, Сергей Владимирович, Овчинникова, Елена Викторовна
Заглавие : Математическая логика и теория алгоритмов : учебник для студентов, обучающихся по направлениям 654600 Информатика и вычислительная техника, 654700 Информационные системы, 540200 Физико-математическое образование
Выходные данные : Москва: Инфра-М; Новосибирск: НГТУ, 2008
Колич.характеристики :224 с.: рис.
Коллективы : Министерство образования РФ, Новосибирский государственный технический университет
Серия: Высшее образование
Примечания : Библиогр.: с. 212-214
ISBN, Цена 978-5-16-001975-8: 118.80 р.
ISBN, Цена 978-5-7782-0458-4: Б.ц.
ГРНТИ : 27.03.19 + 27.03.17
УДК : 510.6 + 510.51](075.8)
Предметные рубрики: Математическая логика
Алгоритмы-- Теория
Ключевые слова (''Своб.индексиров.''): математическая логика--моделей теория--алгоритмов теория--неклассические логики--логика высказываний--логика предикатов
Экземпляры : всего : Х(1), АБУ(16), ЧЗЕ(1)
Свободны : Х(1), АБУ(16), ЧЗЕ(1)
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 517/Л 694
Заглавие : Логика высказываний : метод. указания по курсу "Математическая логика"
Выходные данные : Пермь, 1983
Колич.характеристики :28 с
Коллективы : Пермский государственный университет
Цена : Б.ц.
УДК : 510.6(075.4)
Предметные рубрики: Математический анализ
Ключевые слова (''Своб.индексиров.''): математическая логика--логика высказываний
Экземпляры :Х(1)
Свободны : Х(1)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 16/Ф 796
Автор(ы) : Чупахин, Иван Яковлевич, Плотников А. М., Сергеев К. А., Слинин, Ярослав Анатольевич, Федоров Б. И.
Заглавие : Формальная логика : учебник для философских факультетов университетов
Выходные данные : Ленинград: Издательство Ленинградского университета, 1977
Колич.характеристики :357 с
Коллективы : Ленинградский государственный университет им. А. А. Жданова
Примечания : Авт. указаны на обороте тит. л.
Цена : 00.93, 00.93, р.
ГРНТИ : 02.21
УДК : 16(075.8)
ББК : Ю4в010я7
Предметные рубрики: Логика
Ключевые слова (''Своб.индексиров.''): логика--логика высказываний--суждение--понятие
Экземпляры : всего : Х(1), АБУ(2)
Свободны : Х(1), АБУ(2)
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : 16/И 253
Автор(ы) : Ивин, Александр Архипович
Заглавие : Логика : учебник для вузов
Выходные данные : Москва: Гардарики, 2000
Колич.характеристики :549 с
Серия: disciplinae
Примечания : Библиогр. в конце глав
ISBN, Цена 5-7975-0122-8: 50.00, 50.00, р.
ГРНТИ : 02.21.05
УДК : 16(075.8)
ББК : Ю4я73
Предметные рубрики: Логика
Ключевые слова (''Своб.индексиров.''): имена (логика)--определения (логика)--логика неклассическая--логика высказываний--доказательство (логика)--рассуждения индуктивные--софизмы--парадоксы логические
Экземпляры :АБЗ(1)
Свободны : АБЗ(1)
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : 16/Б 865
Автор(ы) : Бочаров, Вячеслав Александрович, Маркин, Владимир Ильич
Заглавие : Основы логики : учебник для студентов высших учебных заведений, обучающихся по гуманитарным и естественнонаучным специальностям
Выходные данные : Москва: ФОРУМ: ИНФРА-М, 2008
Колич.характеристики :333 с
Серия: Классический университетский учебник/ редсовет: В.А. Садовничий
Примечания : Предм. указ.: с. 325-333
ISBN, Цена 978-5-8199-0169-4: 97.90 р.
ISBN, Цена 978-5-16-002293-2: Б.ц.
ГРНТИ : 02.21
УДК : 16(075.8)
ББК : Ю4я73
Предметные рубрики: Логика
Ключевые слова (''Своб.индексиров.''): логика высказываний--логика предикатов--дедукция--силлогистика--понятие (логика)--определения (логика)--правдоподобные рассуждения--индукция обобщающая--аналогия
Экземпляры : всего : БЮФ(2), АБУ(28)
Свободны : БЮФ(2), АБУ(28)
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : 16/Б 865
Автор(ы) : Бочаров, Вячеслав Александрович, Маркин, Владимир Ильич
Заглавие : Введение в логику : учебник для студентов вузов, изучающих философские дисциплины
Выходные данные : Москва: ИНФРА-М: ФОРУМ, 2008
Колич.характеристики :560 с
Серия: Высшее образование
ISBN, Цена 978-5-8199-0365-0: 264.90, 264.90, 289.85, р.
ГРНТИ : 02.21
УДК : 16(075.8)
ББК : Ю4я73
Предметные рубрики: Логика
Ключевые слова (''Своб.индексиров.''): логический анализ языка--логика высказываний--логика предикатов--силлогистика--модальная логика--логика времени--интуиционистская логика--понятие (логика)
Экземпляры : всего : Х(1), АБУ(15), ЧЗГ(1)
Свободны : Х(1), АБУ(15), ЧЗГ(1)
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : 16/П 580
Автор(ы) : Попов, Юрий Петрович
Заглавие : Логика : учебное пособие для студентов вузов, обучающихся по направлению подготовки 520400 (030100)-философия и специальности 020100 (030101)-философия . -3-е изд., перераб. и доп.
Выходные данные : Москва: КНОРУС, 2009
Колич.характеристики :304 с
Примечания : Библиогр.: с. 295
ISBN, Цена 978-5-390-00251-3: 150 р.
ГРНТИ : 02.21.05
УДК : 16(075.8)
ББК : Ю4я73
Предметные рубрики: Логика
Ключевые слова (''Своб.индексиров.''): суждение (логика)--умозаключение (логика)--доказательство (логика)--логика высказываний--логика предикатов
Содержание : Традиционная логика ; Символическая логика ; Основные законы логики ; Важнейшие направления в развитии логики и нерешенные проблемы
Экземпляры :Х(1)
Свободны : Х(1)
Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : 16/З-483
Автор(ы) : Зеленкин, Владимир Харитонович
Заглавие : Логика высказываний : учебно-методическое пособие для студентов философско-социологического факультета, обучающихся по специальности "Философия" . -2-е изд., испр. и доп.
Выходные данные : Пермь: ПГНИУ, 2012
Колич.характеристики :108 с.: ил.
Коллективы : Министерство образования и науки Российской Федерации, Пермский государственный национальный исследовательский университет
Примечания : Библиогр.: с. 107-108
ISBN, Цена 978-5-7944-1876-7: 59.60, 59.60, 60.00, 61.07, 9.55, р.
ГРНТИ : 02.21.21
УДК : 161.2(075.8)
ББК : Ю422я73
Предметные рубрики: Логика-- Логические формы и законы
Ключевые слова (''Своб.индексиров.''): логика высказываний--логические союзы--логические операции--взаимозаменяемость логических союзов--логические отношения
Экземпляры : всего : Х(1), ЧЗГ(1), АБУ(11)
Свободны : Х(1), ЧЗГ(1), АБУ(11)
Найти похожие
10.

Вид документа : Однотомное издание
Шифр издания : 517/А 601
Автор(ы) : Алябьева, Валентина Георгиевна
Заглавие : Математическая логика : учебное пособие для студентов, обучающихся по направлениям подготовки бакалавров "Прикладная математика и информатика", "Фундаментальная информатика и информационные технологии" и специальности "Компьютерная безопасность"
Выходные данные : Пермь: ПГНИУ, 2017
Колич.характеристики :111 с.: ил.
Коллективы : Министерство образования и науки Российской Федерации, Пермский государственный национальный исследовательский университет
Примечания : Библиогр.: с. 109-110
ISBN, Цена 978-5-7944-2904-6: 123.20, 123.20, р.
ГРНТИ : 27.03.19
УДК : 510.6(075.8)
Предметные рубрики: Математическая логика
Ключевые слова (''Своб.индексиров.''): логика высказываний--логика математическая--исчисление высказываний (математика)--логика предикатов--исчисление предикатов (математика)
Экземпляры : всего : ЧЗЕ(1), АБУ(3)
Свободны : ЧЗЕ(1), АБУ(3)
Перейти: Полный текст
Найти похожие
 1-10    11-20   21-27 
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 07.08.2024
Число запросов 25337
Число посетителей 467
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)