Электронный каталог

Базы данных

Лосевский читальный зал- результаты поиска

Вид поиска

База библиотеки "Дом А.Ф. Лосева"

Лосевский читальный зал

Газеты и журналы библиотеки "Дом А.Ф. Лосева"

Аудио и видео архив библиотеки "Дом А.Ф. Лосева"

Область поиска

в найденном

Найдено в других БД:

База библиотеки "Дом А.Ф. Лосева" (6)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: <.>U=16(082)<.>

Общее количество найденных документов : 24
Показаны документы с 1 по 10

1-10 11-20 21-24

   16 ЛМК
   Ф 79


    Формальная логика и методология науки [Текст] : [сборник статей] / Акад. наук СССР, Ин-т философии ; [отв. ред. П. В. Таванец]. - Москва : Наука, 1964. - 299, [2] с. : ил. ; 20 см. + 3 отд. л. табл. - Библиогр. в конце ст. - Содерж.: К вопросу об отражении диалектики движения в понятиях / И. С. Нарский. Проблема эквивалентности логических структур / А. И. Уемов. Аристотелевская силлогистика с точки зрения алгебры / А. Л. Субботин. Некоторые источники современной логики вероятности в учении Аристотеля о модальности / И. В. Тройнов. Об одной гипотезе Я. Лукасевича / Ю. А. Петров. Новый разрешимый случай проблемы разрешения исчисления предикатов первой ступени / Г. С. Маканин. Алгебра двухполюсных сетей / Е. К. Войшвилло. Классификация и машинный поиск литературы / Б. Якушин. Об одном способе минимизации нормальных форм булевых функций / О. С. Краковская, Т. Л. Майстрова. - 4 000 экз.. -

УДК

16(082)

1(470)

Рубрики: Логика--Сборники
Философия русская, 20 в.

Держатели документа:
Дом А. Ф. Лосева

Доп.точки доступа:
Таванец, Петр Васильевич (1911 - 1991) \ред.\; Инcтитут философии (Москва)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

   16 ЛМК
   Ф 79


    Философские вопросы современной формальной логики [Текст] : [сборник статей] / Акад. наук СССР, Ин-т философии ; [отв. ред. П. В. Таванец]. - Москва : Издательство Академии наук СССР, 1962. - 362, [2] с. ; 23 см. - Библиогр. в конце ст. - Содерж.: Формальная логика и философия / П. В. Таванец. Основные этапы развития формальной логики / Г. И. Рузавин и П. В. Таванец. Формальная логика и язык / Д. П. Горский. Смысл и ценность формализации в логике / А. Л. Субботин. Двузначная и многозначная логика / А. А. Зиновьев. О семантическом определении истины / П. В. Таванец. Понятие "существования", логический позитивизм и формальная логика / И. С. Нарский. О достоверности выводов по аналогии / А. И. Уемов. Аксиоматический метод построения научного знания / В. Н. Садовский. Генетический метод построения научной теории / В. А. Смирнов. Неопозитивистская концепция эмпирического значения и логический анализ научного знания / В. С. Швырев. К проблеме аналитического и синтетического / Е. Д. Смирнова. - 4 300 экз.. -

УДК

16(082)

1(470)

   16 ЛМК
   Ф 56


    Философия и логика [Текст] : [сборник статей] / Акад. наук СССР, Ин-т философии ; [отв. редакторы П. В. Таванец и В. А. Смирнов]. - Москва : Наука, 1974. - 478, [1] с. : ил. ; 21 см. - (Философия в современном мире). - Библиогр. в конце ст. - В содерж.: О взаимоотношении символической логики и философии / В. А. Смирнов, П. В. Таванец. Лейбниц, Кант и их принципы философии математики / А. Л. Субботин. Конструктивная модель интуиционистского анализа / А. Г. Драгалин. К обоснованию дедуктивного метода / П. Лоренцен. Непротиворечивость и элиминируемость в теории доказательств / Е. Д. Смирнова. Формальные методы и проблемы теории познания / Р. Вуйцицкий. Истинность и формальная непротиворечивость эмпирической теории и понятие смысла / П. Матерна. Понятие факта как модального оператора / Б. Вольневич. К вопросу об определимости предикатов, вводимых двусторонними редукционными предложениями / В. А. Смирнов. О допущениях, вводимых редукционными предложениями / В. Н. Карпович. Несколько замечаний о многозначных логиках Яна Лукасевича / Е. Слупецкий. Вероятность и детерминизм / Г. И. Рузавин. К исследованию и построению прагматических логик / С. П. Будбаева, Б. Н. Пятницын. Теория индуктивного рассуждения и ее формализация / В. Н. Костюк. Вопрос о вопросах / И. Хинтикка. Редукции в логике второй ступени / С. Р. Когаловский. Аксиоматизация некоторых трехзначных исчислений высказываний и их алгебр / В. К. Финн. Роль теории семантических категорий в обосновании современных логических теорий / Б. Дянков. К вопросу о классификации логических форм / Б. Чендов. - 9 500 экз.. -

УДК

16(082)

Рубрики: Логика--Сборники
   Методология и логика научного познания--Сборники
   Математическая логика--Сборники
   Философия русская, 20 в.

Держатели документа:
Дом А. Ф. Лосева

Доп.точки доступа:
Таванец, Петр Васильевич (1911 - 1991) \ред.\; Смирнов, Владимир Александрович \ред.\; Институт философии (Москва)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

   16 ЛМК
   П 78


    Проблемы логики [Текст] : [сборник статей] / Акад. наук СССР, Ин-т философии ; [отв. ред. П. В. Таванец]. - Москва : Издательство Академии наук СССР, 1963. - 149, [2] с. : ил. ; 20 см. - Библиогр. в конце ст. - Содерж.: О философских вопросах математической логики / С. А. Яновская. Некоторые вопросы, связанные с проблемой разрешения для исчисления строгой импликации Аккермана / В. В. Донченко. Об одном методе спецреферирования / Н. И. Стяжкин и Б. Р. Певзнер. Обобщение силлогистики / А. А. Зиновьев. Замечания по поводу системы силлогистики и общей теории дедукции / В. А. Смирнов. Алгоритмы и логические схемы алгоритмов / В. А. Смирнов. О множествах, разрешимых и перечислимых автоматами / В. А. Козмидиади. Преодалены ли в современной науки трудности, известные под названием "апории Зенона"? / С. А. Яновская. О построении анализа на основе аксиоматизированной геометрии прямой II / Ю. А. Гастев. Об одном подходе к анализу причинности / Ю. А. Магинскас. - 10 000 экз.. -

УДК

16(082)

Рубрики: Логика--Сборники
Философия русская, 20 в.

Держатели документа:
Дом А. Ф. Лосева

Доп.точки доступа:
Таванец, Петр Васильевич (1911 - 1991) \ред.\; Институт философии (Москва)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

   16 ЛМК
   П 78


    Проблемы логики научного познания [Текст] : [сборник статей] / Акад. наук СССР, Ин-т философии ; [отв. ред. П. В. Таванец]. - Москва : Наука, 1964. - 408, [2] с. : табл. ; 22 см. - Библиогр. в конце ст. - Указ. имен в конце кн.: с. 408 - [409]. - Содерж.: Логика научного познания / П. П. Таванец и В. С. Швырев. Уровни знания и этапы процесса познания / В. А. Смирнов. Некоторые вопросы логико-методологического анализа отношения теоретического и эмпирического уровней научного знания / В. С. Швырев. Логическое и физическое следование / А. А. Зиновьев. Дедуктивный метод как проблема логики науки / В. Н. Садовский. Вероятностная логика и ее роль в научном исследовании / Г. И. Рузавин. Основные формы и правила выводов по аналогии / А. И. Уемов. О видах определений и их значений в науке / Д. П. Горский. Идеализация как средство научного познания / А. Л. Субботин. Статистическая интерпретация факта и роль статистических методов в построении эмпирического знания / А. И. Ракитов. - 5 000 экз.. -

УДК

16(082)

Рубрики: Логика--Сборники
   Теория познания--Сборники
   Диалектический метод--Сборники
   Марксистский диалектический метод--Сборники
   Методология и логика научного познания--Сборники
   Философия русская, 20 в.

Держатели документа:
Дом А. Ф. Лосева

Доп.точки доступа:
Таванец, Петр Васильевич (1911 - 1991) \ред.\; Институт философии (Москва)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

   16 ЛМК
   П 78


    Проблемы логики и теории познания [Текст] : [сборник статей] / под ред. И. С. Нарского. - Москва : Издательство Московского университета, 1968. - 317, [2] с. : ил. ; 21 см. - Библиогр. в конце ст. - Содерж.: К вопросу об отражении свойств внешних объектов в ощущениях / И. С. Нарский. Логическое следование / А. А. Зиновьев. Очерк многозначной логики / А. А. Зиновьев. Высказывания о законах природы и их логический анализ / Ю. Н. Солодухин. Философские проблемы вероятностных методов исследования / Б. Н. Пятницын, В. И. Метлов. Некоторые соображения о проблематике алгоритмических предметных указателей / Б. В. Якушин. - 5 850 экз.. -

УДК

16(082)

165(082)

Рубрики: Логика--Сборники
Теория познания--Сборники
Философия русская, 20 в.

Держатели документа:
Дом А. Ф. Лосева

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

   16 ЛМК
   П 78


    Проблемы диалектической логики [Текст] : сборник статей / [под ред. В. И. Мальцева]. - Москва : Издательство Московского университета, 1959. - 107, [2] с. : ил. ; 22 см. - Библиогр. в подстроч. примеч. - Содерж.: Проблема определения понятий в диалектической логике / В. И. Мальцев. О предмете марксистской диалектической логики / В. И. Черкесов. Что такое диалектическая логика / М. Н. Алексеев. О диалектике категорий рабочей силы и труда в экономических исследованиях Маркса / П. С. Попов. К вопросу о роли закона единства и борьбы противоположностей в диалектической логике / С. И. Попов. - 4 000 экз.. -

УДК

16(082)

162.6(082)

141.82(082)

1(470)

Рубрики: Логика--Сборники
   Диалектическая логика--Сборники
   Диалектический метод--Сборники
   Диалектический материализм--Сборники
   Марксистский диалектический метод--Сборники
   Философия русская, 20 в.

Держатели документа:
Дом А. Ф. Лосева

Доп.точки доступа:
Мальцев, Василий Иванович (1906 - 1975) \ред.\
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

   16 ЛМК
   П 76


    Применение логики в науке и технике [Текст] : [сборник статей] / Акад. наук СССР, Ин-т философии ; [редкол.: П. В. Таванец (отв. ред.) и др.]. - Москва : Издательство Академии наук СССР, [1960]. - 557, [2] с. : ил., табл. ; 23 см. - Библиогр. в конце ст. - Содерж.: О некоторых чертах развития математической логики и отношении ее к техническим приложениям / С. А. Яновская. К обоснованию теории множеств / А. С. Есенин-Вольпин. Формальный и семантический анализ синтаксических связей в языке / И. И. Ревзин. О логической форме лингвистических определений / И. И. Ревзин. Операционные определения и их применение в фонологии / С. К. Шаумян. Значение аксиоматического метода в учении о направлениях изменений живых систем / Ю. В. Петров. Дедуктивный метод в исследовании высказываний о связях / А. А. Зиновьев. К вопросу об общности высказываний о связях / А. А. Зиновьев. Об одном варианте теории определений / А. А. Зиновьев. О групповой инвариантности булевых функций / Г. Н. Поваров. О двойной арифметической интерпретации трехзначного исчисления в высказывании, используемой при моделировании этого исчисления посредством релейно-коммутаторных схем / В. И. Шестаков. О некоторых вопросах физической реализации устройств, выполняющих логические функции / М. Л. Цетлин, Л. М. Шехтман. Применение многозначной логики в теории релейных схем / Т. Д. Майстрова. Событийный и сужденческий аспекты логики в связи с логическими задачами техники / Г. Н. Поваров. "Фазовый способ" в формальной логике / Б. М. Кедров. Теория смысла Готлоба Фреге / Б. В. Бирюков. - 10 000 экз.. -

УДК

16(082)

164(082)

510.6(082)

1(470)

Рубрики: Логика--Сборники
Математическая логика--Сборники
Философия русская, 20 в.

Держатели документа:
Дом А. Ф. Лосева

Доп.точки доступа:
Таванец, Петр Васильевич (1911 - 1991) \ред.\; Институт философии (Москва)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

   16 ЛМК
   Л 69


    Логические исследования [Текст] : сборник статей / Акад. наук СССР, Ин-т философии ; [редкол.: Э. Кольман и др.]. - Москва : Издательство Академии наук СССР, 1959. - 465, [1] с. : ил., табл. ; 23 см. - Библиогр. в конце ст. - Содерж.: Значение символической логики / Э. Кольман. Элементы алгебры логики и теории семантических антиномий в поздней средневековой логике / Н. И. Стяжкин. Упрощение П. С. Порецким некоторых алгоритмов классического исчисления высказываний / Н. И. Стяжкин. О философской сущности "семантической концепции истины" / В. В. Мшвениерадзе. Об основах квантово-релятивистской логики / Б. Г. Кузнецов. Логическое строение знаний о связях / А. А. Зиновьев. К вопросу о каузальной импликации / В. С. Швырев. Логический анализ понятия фонемы / С. К. Шаумян. Пустые классы и аристотелева логика / А. И. Уёмов. О соотношении логики и математики в системах типа Principia Mathematica / А. Д. Гетаманова. Анализ потенциальной осуществимости / А. С. Есенин-Вольпин. Об одном классе нормальных алгорифмов Маркова / В. С. Чернявский. Логика и автоматизация / Г. Н. Поваров. Моделирование операций исчисления высказываний посредством релейно-контактных схем / В. И. Шестаков. О построении общей теории логических сетей / Н. Е. Кобринский, Б. А. Трахтенберг. Математико-логическое исследование синтеза контактных схем с одним выходом и К выходами / Г. Н. Поваров. О логическом синтезе электронных вычислительных и управляющих схем / Г. Н. Поваров. О коммутационных схемах и их логической сущности / А. Д. Харкевич. Логический синтез схем релейного действия, содержащих сопротивления и контакты / Б. М. Раков. Аналитический синтез многотактных схем по формулам включения / А. Н. Юрасов. Применение в телефонии алгебры логики при анализе и синтезе релейно-контактных схем / В. Ф. Дьяченко, В. Г. Лазарев. - 5 000 экз.. -

УДК

16(082)

164(082)

510.6(082)

1(470)

Рубрики: Логика--Сборники
Математическая логика--Сборники
Философия русская, 20 в.
Аннотация: Данный выпуск "Логических исследований" состоит из двух частей. В первой части содержатся статьи по общим вопросам математической (символической) логики, ее истории и отдельным приложением ; во второй части помещены статьи, касающиеся разработки и практических применений математической логики в связи с задачами математики и техники.

Держатели документа:
Дом А. Ф. Лосева

Доп.точки доступа:
Кольман, Эрнест Яромирович (1892 - 1979) \ред.\; Институт философии (Москва)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

10.

   16 ЛМК
   Л 69


    Логическая структура научного знания [Текст] : [сборник статей] / Акад. наук СССР, Ин-т философии ; [отв. ред. П. В. Таванец]. - Москва : Наука, 1965. - 348, [2] с. : ил. ; 21 см. - Библиогр. в конце ст. - Содерж.: Формализованные языки и логическая форма / Е. Д. Смирнова. О некоторых семантических понятиях для простых языков / В. К. Финн. Роль семиотики в кибернетическом исследовании человека и коллектива / В. В. Иванов. О взглядах Г. Фреге на роль знаков и исчисления в познании / Б. В. Бирюков. О природе эмпирического знания / А. И. Рокитов. Об основных понятиях и принципах логики науки / А. А. Зиновьев. Опыт построения исчисления предикатов, приближенного к естественному языку / Е. К. Войшвилло. Логические системы с формулами - аналогами записей о выводимости / В. А. Смирнов. Вычисления в булевых пространствах / А. Д. Закревский. Формальная система элементарной механики / Г. П. Дишкант. О логике физики микромира / Б. Н. Пятницын. - 6 200 экз.. -

УДК

16(082)

Рубрики: Логика--Сборники
   Методология и логика научного познания--Сборники
   Семиотика--Сборники
   Математическая логика--Сборники
   Философия русская, 20 в.--Сборники

Держатели документа:
Дом А. Ф. Лосева

Доп.точки доступа:
Таванец, Петр Васильевич (1911 - 1991) \ред.\; Институт философии (Москва)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

1-10 11-20 21-24

Тематический навигатор

Статистика обращений

Статистика за 02.07.2024
Число запросов	0
Число посетителей	0
Число заказов	0

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