Поисковый запрос: (<.>A=Таванец, П. В.$<.>) |
Общее количество найденных документов : 14
Показаны документы с 1 по 14 |
>1.
|
Вид документа : Однотомное издание Шифр издания : 16/С 50
Автор(ы) : Смирнов В. А.
Заглавие : Формальный вывод и логические исчисления
: монография
Выходные данные : М.: Наука, 1972 Колич.характеристики :271 с.
; 19 см
Коллективы :
Ин-т философии (Москва), Акад. наук СССР (Москва)
Примечания : Библиогр.: с. 267-268 ( 59 назв.)
Цена : 0.67 р.
ГРНТИ : 02.21 УДК : 16 Предметные рубрики: Философия-- Логика Ключевые слова (''Своб.индексиров.''): логические системы--гильбертовские системы--натуральные счисления--семантика логики--языки логики--аксиоматизация свойств Аннотация: В монографии анализируются различные способы логического рассуждения: логические системы гильбертовского типа, системы натурального вывода, секвенциальные исчисления. Дается достаточно естественная классификация логических систем.
Найти похожие
|
>2.
|
Вид документа : Однотомное издание Шифр издания : 1ФБ/Ш 35
Автор(ы) : Швырев В. С.
Заглавие : Неопозитивизм и проблемы эмпирического обоснования науки
: научное издание
Выходные данные : М.: Наука, 1966 Колич.характеристики :215 с.
; 20 см
Примечания : Библиогр.: с. 209-213 (111 назв.)
Цена : 0.70 р.
ГРНТИ : 02.15 УДК : 1ФБ Предметные рубрики: Философия-- Общефилософские проблемы Ключевые слова (''Своб.индексиров.''): неопозитивизм--эмпирическое обоснование--логический эмпиризм--дихотомия
Найти похожие
|
>3.
|
Вид документа : Однотомное издание Шифр издания : 16/Л 69
Заглавие : Логическая структура научного знания
: сб. статей
Выходные данные : М.: Изд-во "Наука", 1965 Колич.характеристики :350 с.:
ил.; 21 см
Коллективы :
Ин-т философии (Москва), Акад. наук СССР
Примечания : Библиогр. в конце ст.
Цена : 1.29 р.
УДК : 16 Ключевые слова (''Своб.индексиров.''): формализованные языки--логические формы--логические системы--эмпирические знания--физика микромира--булевые пространства
Найти похожие
|
>4.
|
Вид документа : Однотомное издание Шифр издания : 16/П 78
Заглавие : Проблемы логики научного познания
: сб. статей
Выходные данные : М.: Изд-во "Наука", 1964 Колич.характеристики :410 с.:
ил.; 21 см
Коллективы :
Ин-т философии (Москва), Акад. наук СССР
Примечания : Библиогр. в конце ст.
Цена : 1.78 р.
УДК : 16 Ключевые слова (''Своб.индексиров.''): логика научного познания--дедуктивный метод--вероятностная логика--логика науки--логическое следование--физическое следование
Найти похожие
|
>5.
|
Вид документа : Однотомное издание Шифр издания : 16/Т 13
Автор(ы) : Таванец П. В.
Заглавие : Вопросы теории суждения
: научное издание
Выходные данные : М.: Изд-во Акад. наук СССР, 1955 Колич.характеристики :193 с.:
ил.; 21 см
Коллективы :
Ин-т философии (Москва), Акад. наук СССР
Цена : 6.00 р.
УДК : 16 Ключевые слова (''Своб.индексиров.''): суждения--условные суждения--безусловные суждения--общие суждения--суждения существования--единичные суждения
Найти похожие
|
>6.
|
Вид документа : Однотомное издание Шифр издания : 16/М 54
Заглавие : Методы логического анализа
: сборник
Выходные данные : М.: Изд-во "Наука", 1977 Колич.характеристики :263 с.
; 22 см
Коллективы :
Ин-т философии (Москва), Акад. наук СССР (Москва)
Примечания : Библиогр. в конце ст.
Цена : 1.20 р.
ГРНТИ : 02.21 УДК : 16 Предметные рубрики: Философия-- Логика Ключевые слова (''Своб.индексиров.''): логическая структура--научные теории--теоретические термины--эмпирические термины--временная логика--эпистемическая логика--вероятностные идеи Аннотация: В книге раскрывается значение логики для разработки и совершенствования методологии научных дисциплин, излагаются приемы логического анализа различных способов введения в науку новых терминов.
Найти похожие
|
>7.
|
Вид документа : Однотомное издание Шифр издания : 16/П 78
Заглавие : Проблемы логики
: сб. статей
Выходные данные : М.: Изд-во Акад. наук СССР, 1963 Колич.характеристики :151 с.:
ил.; 21 см
Коллективы :
Ин-т философии (Москва), Акад. наук СССР (Москва)
Примечания : Библиогр. в конце ст.
Цена : 0.44 р.
УДК : 16 Ключевые слова (''Своб.индексиров.''): математическая логика--импликация аккермана--метод спецреферирования--силлогистика--общая теория дедукции--логические схемы алгоритмов
Найти похожие
|
>8.
|
Вид документа : Однотомное издание Шифр издания : 16/Ф 79
Заглавие : Формальная логика и методология науки
: сб. статей
Выходные данные : М.: Изд-во "Наука", 1964 Колич.характеристики :300 с.:
ил.; 21 см
Коллективы :
Ин-т философии (Москва), Акад. наук СССР
Примечания : Библиогр. в конце ст.
Цена : 1.00 р.
УДК : 16+001 Ключевые слова (''Своб.индексиров.''): логика--булевые функции--двухполюсные сети--методология науки--предикаты--логические структуры
Найти похожие
|
>9.
|
Вид документа : Однотомное издание Шифр издания : 16/Л 69
Заглавие : Логическая семантика и модульная логика
: сб. статей
Выходные данные : М.: Изд-во "Наука", 1967 Колич.характеристики :278 с.:
ил.; 22 см
Коллективы :
Ин-т философии (Москва), Акад. наук СССР (Москва)
Примечания : Библиогр. в конце ст.
Цена : 1.24 р.
УДК : 16 Ключевые слова (''Своб.индексиров.''): семантика--логика--знаковые выражения--индуктивная логика--вероятностная логика--теория модальностей--теория деонтических модальностей--формальная логика
Найти похожие
|
>10.
|
Вид документа : Однотомное издание Шифр издания : 16/С 89
Автор(ы) : Субботин А. Л.
Заглавие : Теория силлогистики в современной формальной логике
: научное издание
Выходные данные : М.: Изд-во "Наука", 1965 Колич.характеристики :126 с.
; 20 см
Коллективы :
Ин-т философии (Москва), Акад. наук СССР (Москва)
Примечания : Библиогр.: с. 122-123 (35 назв.)
Цена : 0.31 р.
УДК : 16 Ключевые слова (''Своб.индексиров.''): силлогистика--аристотелевская силлогистика--математическая логика--формальная силлогистика--алгебраическая теория силлогистика--полуструктура Аннотация: В этой работе дано наиболее адекватное оригинальному аристотелевскому замыслу формально-аксиоматическое изложение силлогистики с точки зрения и на базе современной символической логики.
Найти похожие
|
>11.
|
Вид документа : Однотомное издание Шифр издания : 51/Н 52
Заглавие : Неоклассическая логика
: научное издание
Выходные данные : М.: Изд-во "Наука", 1970 Колич.характеристики :383 с.
; 22 см
Коллективы :
Ин-т философии (Москва), Акад. наук СССР (Москва)
Цена : 1.18 р.
ГРНТИ : 27.03 УДК : 510.6 Предметные рубрики: Математика-- Математическая логика Ключевые слова (''Своб.индексиров.''): классическая логика--комплексная логика--системы логического следования--силлогистика классов--теоремы теории квантов--системы выраженного следования--материальная импликация--логика времени Аннотация: В книге дается общая характеристика неоклассической логики, которая является разделом современной математической логики, рассказывается о перспективах ее развития и о возможности приложения ее в науке и технике.
Найти похожие
|
>12.
|
Вид документа : Однотомное издание Шифр издания : 16/Л 69
Заглавие : Логика и эмпирическое познание
: сборник
Выходные данные : М.: Изд-во "Наука", 1972 Колич.характеристики :286 с.:
ил.; 21 см
Коллективы :
Ин-т философии (Москва), Акад. наук СССР
Примечания : Библиогр. в конце ст.
Цена : 1.31 р.
ГРНТИ : 02.21 УДК : 16 Предметные рубрики: Философия-- Логика Ключевые слова (''Своб.индексиров.''): познание--эмпирическое познание--научное познание--предсказание--объяснение--умозаключения--индукция--дедукция Аннотация: В книге рассматривается проблематика опытных типов систем знания. которые в современном естествознании представляют важные типы научного познания.
Найти похожие
|
>13.
|
Вид документа : Однотомное издание Шифр издания : 16/С 34
Автор(ы) : Сидоренко Е. А.
Заглавие : Логическое следование и условные высказывания
: научное издание
Выходные данные : М.: Изд-во "Наука", 1983 Колич.характеристики :173 с.
; 21 см
Коллективы :
Ин-т философии, Акад. наук СССР
Примечания : Библиогр.: с. 169-171 (60 назв.)
Цена : 0.95 р.
ГРНТИ : 02.21 УДК : 16 Предметные рубрики: Философия-- Логика Ключевые слова (''Своб.индексиров.''): теория импликации--логика--релевантная логика--логическое следование--символическая логика Аннотация: Рассматривается проблема непарадоксальной формализации логического следования, строится логика интенсионально понимаемых условных высказываний, анализируются логические критерии истинности контрфактических условных предложений. Эта книга по релевантной логике.
Найти похожие
|
>14.
|
Вид документа : Однотомное издание Шифр издания : 510/Т 33
Заглавие : Теория логического вывода
: научное издание
Выходные данные : М.: Наука, 1973 Колич.характеристики :272 с.:
граф., рис., табл.; 20 см
Коллективы :
Ин-т философии (Москва), Акад. наук СССР
Примечания : Библиогр.: с. 270
Цена : 0.76 р.
ГРНТИ : 27.03 УДК : 510.6 Предметные рубрики: Математика-- Математическая логика Ключевые слова (''Своб.индексиров.''): логическое следование--теория кванторов--логика классов--модальная логика--парадокс зенона--логические операции Аннотация: Даны проблемы теории логического следования, в которых анализируются роль и место этой теории в логике, философии и методологии науки, рассматриваются проблемы общей теории дедукции, теории кванторов, логики классов, модальной логики, логики пространственно-временных отношений.
Найти похожие
|
|