Поисковый запрос: (<.>KL=логика высказываний<.>) |
Общее количество найденных документов : 32
Показаны документы с 1 по 20 |
|
>1. ![](http://library.sgu.ru/irbis64r_17/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 680415
Автор(ы) : Светилинъ, Александръ Емельяновичъ (1842-1887)
Заглавие : Учебникъ формальной логики
: учебник
Выходные данные : Санкт-Петербург: Тип. А. Траншеля, 1871 Колич.характеристики :[2], XII, 217, [3] с
Разночтения заглавия :Загл., сост. каталогизатором: Учебник формальной логики
ISBN (в пер.), Цена [Б. и.]: 8.34 р.
УДК : 16(075) Предметные рубрики: логика-- логика Ключевые слова (''Своб.индексиров.''): формальная логика--суждения--умозаключения--логика высказываний
Найти похожие
|
>2. ![](http://library.sgu.ru/irbis64r_17/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 16/К 17
Автор(ы) : Калужнин Л. А.
Заглавие : Что такое математическая логика?
: научное издание
Выходные данные : М.: Изд-во "Наука", 1964 Колич.характеристики :152 с.:
ил., граф., табл.; 20 см
Примечания : Библиогр.: с. 149-150 (29 назв.)
Цена : 0.21 р.
УДК : 16 Ключевые слова (''Своб.индексиров.''): логика высказываний--формулы логики--предикаты--кванторы--математическая логика
Найти похожие
|
>3. ![](http://library.sgu.ru/irbis64r_17/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 16/С 81
Автор(ы) : Столяр А. А.
Заглавие : Элементарное введение в математическую логику
: научное издание
Выходные данные : М.: Изд-во "Просвещение", 1965 Колич.характеристики :162 с.:
ил.; 21 см
Примечания : Библиогр.: с. 162
Цена : 0.22 р.
УДК : 16 Ключевые слова (''Своб.индексиров.''): математическая логика--логика высказываний--логика предикатов--множества--традиционная логика--кванторы--эквивалентные формулы
Найти похожие
|
>4. ![](http://library.sgu.ru/irbis64r_17/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 87.4
Автор(ы) : Кольман, Эрнест, Зих, Отокар
Заглавие : Занимательная логика
Выходные данные : Москва: Наука, 1966 Колич.характеристики :126 с
Серия: Научно-популярная серия
Примечания : Библиогр.: с. 124
Цена : 7.20 р.
ББК : 87.4 Предметные рубрики: Логика-- Общие вопросы логики Ключевые слова (''Своб.индексиров.''): занимательная логика--логика высказываний--логика классов
Найти похожие
|
>5. ![](http://library.sgu.ru/irbis64r_17/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 16/К 62
Автор(ы) : Кольман Э., Зих О.
Заглавие : Занимательная логика
: научно-популярная литература
Выходные данные : М.: Изд-во "Наука", 1966 Колич.характеристики :127 с.:
ил.; 19 см
Серия: Научно-популярная серия
Цена : 0.20 р.
УДК : 16 Ключевые слова (''Своб.индексиров.''): математическая логика--логика высказываний--логика классов--символическая логика--логические уравнения--элементы арифметики
Найти похожие
|
>6. ![](http://library.sgu.ru/irbis64r_17/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 22.12
Автор(ы) : Гильберт Давид, Бернайс П.
Заглавие : Основания математики
: логические исчисления и формализация арифметики: пер. с нем.
. -2-е изд. Выходные данные : Москва: Наука, 1982 Колич.характеристики :556 с.:
ил.
Серия: Математическая логика и основания математики
Цена : 02.70 р.
ББК : 22.12 Предметные рубрики: Математика-- Математическая логика Ключевые слова (''Своб.индексиров.''): аксиомы--аксиомы пеано--арифметика--бесконечное--выводимость--дедуктивное равенство--дедукционная теорема--доказательства независимости--интуитивные рассуждения--истинностные функции--исчисление предикатов--кванторы--логика высказываний--логические исчисления--математическая логика--нефинитные методы--основания математики--предикаты--проблема разрешимости--разрешимость--рассуждения--редукция--рекурсия--систематика--теоремы о полноте--теория истинностных функций--финитный способ рассуждений--формализация арифметики--формализм--формальная аксиоматика
Найти похожие
|
>7. ![](http://library.sgu.ru/irbis64r_17/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 22.12
Автор(ы) : Колмогоров, Андрей Николаевич, Драгалин, Альберт Григорьевич
Заглавие : Введение в математическую логику
: учебное пособие для вузов
Выходные данные : Москва: Издательство Московского государственного университета, 1982 Колич.характеристики :119 с
Цена : 0.25 р.
ББК : 22.12 Предметные рубрики: Математика-- Математическая логика Ключевые слова (''Своб.индексиров.''): логика высказываний--логика предикатов--логико-математические языки--логические законы--математическая логика--математический язык--теория множеств--формальные аксиоматические теории
Найти похожие
|
>8. ![](http://library.sgu.ru/irbis64r_17/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 22.12
Автор(ы) : Марков, Андрей Андреевич
Заглавие : Элементы математической логики
Выходные данные : Москва: Издательство Московского государственного университета, 1984 Колич.характеристики :79 с
Цена : 0.40 р.
ББК : 22.12 Предметные рубрики: Математика-- Математическая логика Ключевые слова (''Своб.индексиров.''): алгорифмы--высказывания--логика высказываний--математическая логика--предикаты--семиотика
Найти похожие
|
>9. ![](http://library.sgu.ru/irbis64r_17/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 22.12
Автор(ы) : Мендельсон, Эллиот
Заглавие : Введение в математическую логику
. -3-е изд. Выходные данные : Москва: Наука, 1984 Колич.характеристики :320 с
Примечания : Библиогр.: с. 296-319
Цена : 1.80 р.
ББК : 22.12 Предметные рубрики: Математика-- Математическая логика Ключевые слова (''Своб.индексиров.''): аксиоматическая теория множеств--алгорифмы маркова--алгорифмы тьюринга--логика высказываний--логика предикатов--математическая логика--теорема хартогса--теория алгоритмов--формализованная арифметика--формальная арифметика--элементарные теории
Найти похожие
|
>10. ![](http://library.sgu.ru/irbis64r_17/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 87.4
Автор(ы) : Зегет, Вольфгант
Заглавие : Элементарная логика
Выходные данные : Москва: Высшая школа, 1985 Колич.характеристики :256 с
Примечания : Библиогр.: с. 254
Цена : 0.90 р.
ББК : 87.4 Предметные рубрики: Логика-- Общие вопросы логики Ключевые слова (''Своб.индексиров.''): виды определений--виды понятий--высказывание--высказывание--дескрипции--дизъюнкция--импликация--конъюнкция--логика высказываний--логика предикатов--методы индукции--мышление--определения--отрицание--понятие--силлогистика--тождество--умозаключение--язык--язык и наука Аннотация: По содержанию, структуре и организации материала книга В. Зегерта является оригинальным учебным пособием, в котором проблемы традиционной и современной формальной логики органично переплетены и связаны, что делает книгу интересной с методическо-дидактической точки зрения.
Найти похожие
|
>11. ![](http://library.sgu.ru/irbis64r_17/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 22.144я73
Автор(ы) : Горбатов, Вячеслав Афанасьевич
Заглавие : Основы дискретной математики
: учеб. пособие для ВУЗов
Выходные данные : Москва: Высшая школа, 1986 Колич.характеристики :311 с
Примечания : Библиогр.: с. 304-305. - Предм. указ.: с. 306
Цена : 01.00 р.
ББК : 22.144я73 Предметные рубрики: Математика-- Алгебра Ключевые слова (''Своб.индексиров.''): аксиоматика теории множеств--алгебра отношений--бинарные отношения--взвешенные графы--вложение графов--дискретная математика--дифференцирование графов--дифференцирование мографов--исчисление высказываний--исчисление предикатов--класс днф--кодирование внутренних состояний--комбинаторные алгоритмы--логика высказываний--логические схемы--математическая логика--матричное задание--минимизация булевых функций--минимизация представления множеств--множество--модели--моделирование автоматных систем--общая алгебра--операции--операционные автоматы--паросочетания--покрытия--полнота--пособия для вузов--прикладная теория алгоритмов--проектирование автоматов--раскраска графов--решетки--связность графа--сети петри--синтез логических схем--структурное проектирование автоматов--теория графов--теория мографов--теория формальных грамматик--устойчивость--формальные грамматики--фундаментальные алгебры--функции--характеризационный анализ--характеризация раскраски--характеризация реберности--цикломатика--частичное упорядочение мографа Аннотация: В книге излагаются основы алгебраических систем, математической логики, теории графов и мографов, теории формальных грамматик и автоматов, прикладной теории алгоритмов и характеризации моделей, которые в совокупности образуют единый методически взаимосвязанный курс "Дискретная математика".
Найти похожие
|
>12. ![](http://library.sgu.ru/irbis64r_17/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 16(075)/Л 69
Автор(ы) : Берков В. Ф., Бартон В. И., Дубинин И. И.
Заглавие : Логика
: учеб. пособие
Выходные данные : Минск: Вышэйшая школа, 1994 Колич.характеристики :296 с.
; 21 см
ISBN, Цена 5-339-00939-4: 2500р. р.
ГРНТИ : 02.21.01.33 УДК : 16(075.8) ББК : 87.4я73 Предметные рубрики: Философия-- Логика Ключевые слова (''Своб.индексиров.''): общение--логика--логика высказываний--теория имен--теория выводов--логическая теория--диалоговая ситуация
Найти похожие
|
>13. ![](http://library.sgu.ru/irbis64r_17/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 16(076)/Б 48
Автор(ы) : Берков В. Ф.
Заглавие : Логика: задачи и упражнения, практикум
: учеб. пособие для студентов вузов
Выходные данные : Минск: ТетраСистемс, 1998 Колич.характеристики :223 с.:
ил.; 20см
ISBN, Цена 9856317304: 12.00 р.
ГРНТИ : 02.21.01.33 УДК : 16(076) ББК : 86.3я73 Предметные рубрики: Философия-- Логика Ключевые слова (''Своб.индексиров.''): логика--логика высказываний--силлогизмы--имена--недедуктивные выводы--модальность--научное познание--словесный диалог--логика отношений--логика текста Аннотация: В книге приведены задачи и упражнения, выполнение которых будет способствовать усвоению теоретических положений логики и приобретению практических навыков правильных рассуждений, уточнения формулировок, логического анализа учебных, научных, художественных и прочих текстов. Задачи и упражнения подобраны в соответствии с требованиями программы курса логики для вузов Республики Беларусь. Упражнения предпосланы краткие теоретические сведения. Для студентов вузов.
Найти похожие
|
>14. ![](http://library.sgu.ru/irbis64r_17/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 22.12
Автор(ы) : Никольская, Инна Львовна
Заглавие : Знакомство с математической логикой
: учебно-методическая литература для школ и вузов
Выходные данные : Москва: Флинта, 1998 Колич.характеристики :128 с
Серия: Библиотека педагога-практика
ISBN, Цена 5-89502-036-4: 23.00 р.
ББК : 22.12 Предметные рубрики: Математика-- Математическая логика Ключевые слова (''Своб.индексиров.''): логика высказываний--логика предикатов--математическая логика Аннотация: Книга содержит теоретический материал и систему упражнений,обеспечивающие первоначальное знакомство с основными понятиями и языком математической логики,выработку некоторых навыков их применения.Для школьников,студентов.
Найти похожие
|
>15. ![](http://library.sgu.ru/irbis64r_17/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 996623 51.01+511.211/К 26
Автор(ы) : Карпенко, Александр Степанович
Заглавие : Логики Лукасевича и простые числа
: научное издание
Параллельн. заглавия :Lukasiewicz' Logics and Prime Numbers Выходные данные : Москва: Наука, 2000 Колич.характеристики :318, [2] с
Примечания : Библиогр.
ISBN (в пер.), Цена 5-02-013048-6: 40.00 р.
УДК : 510.6 + 511.213 Предметные рубрики: математика-- математическая логика-- теория чисел Ключевые слова (''Своб.индексиров.''): логика высказываний--простые числа--лукасевича логика
Найти похожие
|
>16. ![](http://library.sgu.ru/irbis64r_17/images/printer.jpg)
|
Вид документа : Многотомное издание Шифр издания : 574743 51.013/В 31
Автор(ы) : Верещагин, Николай Константинович
Заглавие : Лекции по математической логике и теории алгоритмов/ Н. К. Верещагин, А. Шень. - (Современные лекционные курсы. Математическая логика и теория алгоритмов). Ч. 2: Языки и исчисления
Выходные данные : Москва: Моск. Центр непрерыв. мат. образования, 2000 Колич.характеристики :286, [2] с
Примечания : Авт. и загл. указаны на тит. л.
ISBN, Цена 5-900916-66-9: 40.00 р.
УДК : 510.6(075) Предметные рубрики: математика-- математическая логика Ключевые слова (''Своб.индексиров.''): математическая логика--логика высказываний--исчисления высказываний--исчисления предикатов--языки первого порядка
Найти похожие
|
>17. ![](http://library.sgu.ru/irbis64r_17/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 119088 16(075)+51.01(075)+017.7:1+017.7:51/Г 18
Автор(ы) : Гамова, Алла Николаевна
Заглавие : Формальная логика
: учеб. пособие для студентов и аспирантов фак. гуманитар. и социал. наук
Выходные данные : Саратов: Издательство Саратовского университета, 2001 Колич.характеристики :71, [1] с
Примечания : Библиогр.
ISBN, Цена 5-292-2589-5: 20.00 р.
УДК : 16(075.8) + 510.6(075.8) Предметные рубрики: логика-- логика математика-- математическая логика Ключевые слова (''Своб.индексиров.''): формальная логика--суждения--умозаключения--математическая логика--логика высказываний--логика предикатов
Найти похожие
|
>18. ![](http://library.sgu.ru/irbis64r_17/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 16(075)/Б 86
Автор(ы) : Бочаров В. А., Маркин В. И.
Заглавие : Основы логики
: учебник для вузов
Выходные данные : М.: ИНФРА-М, 2002 Колич.характеристики :296 с.
; 22см
Серия: Высшее образование
ISBN, Цена 5160008705: 77.00 р.
ГРНТИ : 02.21.01.33 УДК : 16(075.8) ББК : 87.4я73 Предметные рубрики: Философия-- Логика Ключевые слова (''Своб.индексиров.''): философия--логика--логические законы--логические теории--логика высказываний--логика предикатов--силлогистика Аннотация: Представляет собой введение в проблематику современной логики, содержит изложение основных ее разделов.
Найти похожие
|
>19. ![](http://library.sgu.ru/irbis64r_17/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 16(075)/И 25
Автор(ы) : Ивин А. А.
Заглавие : Логика
: Учебник для студ.вузов
Выходные данные : М.: Гардарики, 2002 Колич.характеристики :352 с.
; 22см
Серия: Disciplinae
Примечания : Рекомендовано М-вом образования РФ
ISBN, Цена 5-7975-0122-8: 75.00 р.
ГРНТИ : 02.21.01.33 УДК : 16(075.8) ББК : 87.4 Предметные рубрики: Философия-- Логика Ключевые слова (''Своб.индексиров.''): философия--логика--высказывания--доказательство--индуктивные рассуждения--логика высказываний--неклассическая логика--софизмы--логические парадоксы--классическая логика Аннотация: Излагаются основные понятия и операции современной логики.Главное внимание уделяется законам правильного мышления,применению логического анализа при решении содержательно интересных проблем.
Найти похожие
|
>20. ![](http://library.sgu.ru/irbis64r_17/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 328988 51.01+017.7:51/Т 37
Автор(ы) : Тетерин П. Г.
Заглавие : Математическая логика: Синтез, декомпозиция, оценка и отбор высказываний: Обоснование целей, критериев и требований к новому
: науч. изд.
Выходные данные : Саратов: [б. и.], 2002 Колич.характеристики :76 с
Примечания : Библиогр.
ISBN, Цена Б. и.: 20.00 р.
УДК : 510.6 Предметные рубрики: математика-- математическая логика Ключевые слова (''Своб.индексиров.''): математическая логика--синтез--логика высказываний--декомпозиция
Найти похожие
|
|
|