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

Базы данных

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

Вид поиска

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

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

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

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

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

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

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

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

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

   16 ЛМК
   Л 69


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

УДК

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

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

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

   16 ЛМК
   Л 69


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

УДК

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

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

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

   16 ЛМК
   Л 69


    Логика и онтология [Текст] : [сборник статей] / Акад. наук СССР, Сиб. отд-ние, Ин-т истории, филологии и философии ; [редкол.: В. В. Целищев (отв. ред.) и др.]. - Москва : Наука, 1978. - 260, [1] с. : ил. ; 20 см. - Библиогр. в подстроч. примеч. - Содерж.: Подстановочная и смешанная интерпретация квантификации / А. В. Бессонов. Теоретико-игровой подход к семантике естественного языка / А. Л. Блинов. Связь логического и онтологического в некоторых современных теориях семантики естественного языка / Р. Й. Павилёнис. Концепция языка Куайна / В. В. Петров. Семантика для пропозициональных установок и "твердые десигнаторы" / В. В. Целищев. Два подхода к проблеме оснований логических модальностей / О. А. Солодухин. Возможные миры в классической логике / В. Н. Костюк. Аналитическое и синтетическое / Г. Г. Шляхтин. О природе объектов математики / К. В. Кирпичников. Межтеоретический перевод и онтологическая редукция / В. Н. Карпович. Онтологические и гносеологические основания эксплицитной индуктивной логики / Э. М. Некрашас. - 4 600 экз.. -

УДК

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

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

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

   51 ЛМК
   М 34


    Математическая логика и ее применения [Текст] : сборник статей / под ред. Э. Нагела, П. Саппса и А. Тарского ; пер. с англ. под ред. А. И. Мальцева. - Москва : Мир, 1965. - 341 с. : табл. ; 22 см. - Библиогр. в конце ст. - Содерж.: Неразрешимость показательных диофантовых уравнений / Дж. Робинсон ; пер. М. А. Тайцлина. О теореме Кобхама, касающейся неразрешимых теорий / Р. Воот ; пер. М. А. Тайцлина. Теория иерархий / Дж. Аддисон ; пер. А. А. Виноградова. Функционалы конечных типов, вычислимые на машинах Тьюринга / С. Клини ; пер. Н. В. Белякина. Типы рекурсивной эквивалентности и комбинаторные функции / Дж. Майхилл ; пер. Б. А. Трахтенброта. Некоторые приложения степеней / Дж. Шёнфилд ; пер. Б. А. Трахтенброта. Последние достижения в теории моделей / А. Робинсон ; пер. В. Н. Кобкова и А. Д. Тайманова. К принципам отражения в аксиоматической теории множеств / А. Леви ; пер. В. Д. Лучкина. Две теоремы, относящиеся к основаниям теории множеств / Р. Монтэгрю ; пер. В. Д. Лучкина. Индивиды Куайна / Д. Скотт ; пер. А. П. Мацака. Типовая неопределенность / Э. Шпеккер ; пер. А. В. Гладкого, М. А. Тайцлина. Некоторые проблемы и результаты, связанные с основаниями теории множеств / А. Тарский ; пер. Ж. Алмагамбетова. Общее расширение в эквациональных классах / Е. Лось ; пер. Ж. Алмагамбетова. Математика и алгебра : пример / Р. Линдон ; пер. Е. Н. Кузьмина. Диофантовы уравнения и нестандартные модели арифметики / М. Рабин ; пер. Е. Н. Кузьмина. О полноте и разрешимости некоторых неопределимых понятий элементарной гиперболической геометрии / В. Швабхойзер ; пер. А. И. Фета. Новые основания абсолютной геометрии / В. Шмелева ; пер. А. И. Фета. Замечания о формализации и моделях / П. Бернайс ; пер. А. В. Гладкого. Математика и логика / А. Чёрч ; пер. А. В. Гладкого. Номиналистический анализ математического языка / Л. Генкин ; пер. А. В. Гладкого. Тридцать лет спустя / А. Гейтинг ; пер. А. В. Гладкого. Основания интуиционистской логики / Г. Крейсел ; пер. А. В. Гладкого. Объяснительные модели в лингвистике / Н. Хомский ; пер. М. В. Рыбаковой. Некоторые новые результаты в теоретической лингвистике / И. Бар-Хиллел ; пер. Л. С. Модиной, В. А. Фаткулина, Н. Г. Щербаковой. Модели в лингвистике и модели вообще / Чжао Юань-жень ; пер. Т. П. Мельчановой, Н. Г. Самойловой, М. А. Рвачевой. Списки в грамматике / Ф. Хаусхолдер ; пер. А. Я. Диковского, Г. А. Клочкова, С. П. Кузькина, Э. А. Любинской, Э. А. Пыльцевой. Критерии для модели языка / Ф. Уитфилд ; пер. Э. И. Борисова, Т. Г. Котеленец. Процесс и существование в математике / Ван Хао ; пер. Д. А. Захарова. - Пер. изд. : Logic, methodology and philosophy of science / ed. by Ernest Nagel, Patrick Suppes, Alfred Tarski. - Stanford, California, 1962. -

УДК

510.6(082)

164(082)

Рубрики: Математическая логика--Сборники
Логика--Сборники

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

Доп.точки доступа:
Тарский, Альфред (1902 - 1983) \ред.\; Tarski, Alfred (1902 - 1983); Нагел, Эрнест (1901 - 1985) \ред.\; Nagel, Ernest (1901 - 1985); Саппс, Патрик (1922 - ) \ред.\; Suppes, Patrick (1922 - ); Мальцев, Анатолий Иванович (1909 - 1967) \ред.\
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

   51 ЛМК
   Н 47


    Неклассическая логика [Текст] : [сборник статей] / Акад. наук СССР, Ин-т философии ; [отв. ред. П. В. Таванец]. - Москва : Наука, 1970. - 382, [2] с. : ил., табл. ; 21 см. - Библиогр. в конце ст. - Содерж.: Классическая и неклассическая логика / П. В. Таванец. Комплексная логика : (формальное построение) / А. А. Зиновьев. Классические и неклассические отношения высказываний / А. А. Зиновьев. Некоторые варианты систем логического следования / Е. А. Сидоренко. Независимость в системах логического следования / Е. А. Сидоренко. О силлогистике классов / А. М. Федина. О полноте систем логического следования : (исчисление высказываний) / А. М. Федина. Некоторые теоремы теории кванторов / Г. М. Щеголькова. Полнота систем вырожденного следования и квазиследования / Л. А. Боброва. Определение алетических и деонтических модальных функторов в терминах материальной импликации и констант / А. А. Ивин. Логика времени / А. А. Ивин. К проблемам вероятностных и статистических логик / Б. Н. Пятницын. О топологической логике / Х. А. Вессель. Об одной теореме логической семантики / В. И. Локтионов. Об одном классе многозначных модальных систем / Эрамис Буэно. Об интегрированных модальностях в современной логике / Я. А. Слинин. Построение логики высказываний без принципа утверждения / А. И. Уемов. Об одном варианте исчисления отбрасываемых формул логики высказываний / И. Н. Бродский. Не-фрегевская логика и теории, основанные на ней / Р. Сушко. - 7 200 экз.. -

УДК

510.6(082)

517.1(082)

164(082)

Рубрики: Математическая логика--Сборники
Математический анализ--Сборники
Логика--Сборники

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

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

   16 ЛМК
   П 76


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

УДК

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

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

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

   51 ЛМК
   П 78


    Проблемы математической логики [Текст] : сложность алгоритмов и классы вычислимых функций : сборник переводов / под ред. В. А. Козмидиади и и А. А. Мучника. - Москва : Мир, 1970. - 431, [1] с. : ил., табл. ; 22 см. - (Библиотека "Кибернетического сборника" : БКС). - Библиогр. в конце ст. - Содерж.: Некоторые классы рекурсивных функций / А. Гжегорчик ; пер. А. А. Мучника. Классы предсказуемо вычислимых функций / Р. В. Ричи ; пер. Н. Н. Катериночкина. Иерархия примитивно рекурсивных функций / Дж. П. Клив ; пер. С. С. Марченкова. Итерация примитивной рекурсии / П. Акст ; пер. А. Гагарина. Итерация относительной примитивной рекурсии / П. Акст ; пер. С. Каллибекова. Вычисления в реальное время и рекурсивные функции, не вычислимые в реальное время / Х. Ямада ; пер. В. Е. Фельдмана. Вычисления в реальное время / М. Рабин ; пер. В. Е. Фельдмана. Языки, определимые в реальное время / А. Розенберг ; пер. М. Афанасьева и М. В. Ломковской. Моделирование многоленточной машины Тьюринга на двуленточной / Ф. К. Хенни, Р. Е. Стирнз ; пер. Ю. А. Бухштаба. Методы перевода и сложность вычислений / С. С. Раби, П. К. Фишер ; пер. А. А. Мучника. Вычисления на одноленточной машине Тьюринга с записью на ленте / Ф. К. Хенни ; пер. Ю. Я. Брейтбарта. Вычисления на машинах Тьюринга со входом / Ф. К. Хенни ; пер. А. Набибина. Распознавание на машинах Тьюринга со входом / П. Стрнад ; пер. Ю. А. Бухштаба. Сложность вычислений на одноленточных машинах Тьюринга / Дж. Хартманис ; пер. А. А. Мучника. Иерархии вычислений с ограниченной памятью / Р. Е. Стирнз, Дж. Хартманис, П. М. Льюис II ; пер. М. И. Кановича. Границы памяти для разрешения контекстно-свободных и контекстных языков / М. П. Льюис II, Р. Е. Стирнз, Дж. Хартманис ; пер. М. И. Кановича. Об объеме памяти, необходимом для распознавания бесконтекстных языков / Дж. Хартманис ; пер. М. В. Ломковской. Распознавание и анализ контекстно-свободных языков за время n3 / Д. Х. Янгер ; пер. В. Е. Фельдмана. О времени машинного распознавания языков, порожденными линейными грамматиками / Т. Касами ; пер. В. Е. Фельдмана. Решение задачи о пересечении начала координат в реальное время / М. Фишер, А. Розенберг ; пер. В. Е. Фельдмана. Счетчиковые машины и счетчиковые языки / М. Фишер, А. Мейер, А. Розенберг ; пер. В. Е. Фельдмана. Машинно-независимая теория сложности рекурсивных функций / М. Блюм ; пер. В. А. Козмидиади. Об объеме машин / М. Блюм ; пер. А. А. Мучника. -

УДК

510.6(082)

164(082)

Рубрики: Математическая логика--Сборники
Логика--Сборники

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

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

   16 ЛМК
   Ф 56


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

УДК

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

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

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

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

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

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

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