Ю4 Л 694 Логические исследования : [Сб. ст. / Рос. акад. наук. Ин-т философии]. - М. : Наука, 1995 - . - Парал. тит. л. на англ. яз. Вып. 3 / [Редкол.: В. А. Смирнов (отв. ред. ) и др. ]. - 1995. - 356, [3] c. : ил. ; 22 см. - Огл. на рус., англ. яз. - Библиогр. в конце ст. - 740 экз.. - ISBN 5-02-013508-9 (в пер.) : 15000.00 р. Содержание: Смирнова, Е. Д. Кант и гильбертовская теория доказательств: (Роль идеальных образцов у Д. Гильберта и И. Канта) / Е. Д. Смирнова. - С .5-23 Сидоренко, Е. А. Семантика возможных миров: от Лейбницевской к Юмовской / Е. А. Сидоренко. - С .24-37 Скворцов, Д. П. Сравнение дедуктивной силы реализуемых пропозициональных формул / Д. П. Скворцов. - С .38-52 Сидоренко, Е. А. Реляционная семантика релевантных исчислений / Е. А. Сидоренко. - С .53-71 Фам Динь Нгьем. Роль модельных структур в определении логического следования / Фам Динь Нгьем. - С .72-80 Быстров, П. И. Секвенциальное исчисление формул с временными параметрами / П. И. Быстров. - С .81-97 Павлов, С. А. Классификация трех- и четырехзначных логик в рамках логики ложности FL4 / С. А. Павлов. - С .98-122 Вайнгартнер, П. Логика квантовой механики, базирующаяся на классической / П. Вайнгартнер. - С .123-138 Смирнов, А. В. Язык описания логических систем / А. В. Смирнов, А. Новодворский. - С .139-162 Смирнов, В. А. Поиск доказательств в натуральном интуиционистском исчислении предикатов с е-символом и предикатом существования / В. А. Смирнов. - С .163-173 Хаханян, В. Х. О допустимости правила Маркова в интуиционистской теории множеств / В. Х. Хаханян. - С .174-177 Закревский, А. Д. Экспертная система логического распознавания как средство обучения методам логического вывода / А. Д. Закревский. - С .178-180 Болотов, А. Е. Алгоритм поиска вывода для натурального классического исчисления высказываний / А. Е. Болотов, В. А. Бочаров, А. Е. Горчаков. - С .181-186 Катречко, С. Л. Интеллектуальный бектрекинг / С. Л. Катречко. - С .187-204 Любецкий, В. А. Теоремы переноса и алгебра модальных операторов / В. А. Любецкий. - С .205-232 Анисов, А. М. Абстрактная вычислимость и язык программирования АВТ / А. М. Анисов. - С .233-256 Блинов, А. Л. Семантические игры со случайными ходами / А. Л. Блинов. - С .257-275 Васюков, В. Л. Развивая Тарского: котопос теорий / В. Л. Васюков. - С .276-291 Карпенко, А. С. Штрих Шеффера для простых чисел / А. С. Карпенко. - С .292-313 Герасимова, И. А. Семантический анализ музыкальной нотации / И. А. Герасимова. - С .314-351 Васюков, В. Л. В защиту Метакосмоса / В. Л. Васюков. - С .352-357
Рубрики: Логика--Сборники Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Смирнов, В. А. \ред.\; Анисов, А. М. \ред.\; Арутюнова, Нина Давидовна \ред.\; Бежанишвили, М. Н. \ред.\; Быстров, П. И. \ред.\; Войшвилло, Е. К. \ред.\; Герасимова, И. А. \ред.\; Карпенко, А. С. \ред.\; Успенский, В. А. \ред.\; Финн, В. К. \ред.\; Кант, Иммануил (нем. философ ; 1724-1804) \о нем\; Гильберт, Давид (нем. математик ; 1862-1943) \о нем\; Лейбниц, Готфрид Вильгельм (нем. философ ; 1646-1716) \о нем\; Юм, Дэвид (англ. философ ; 1711-1776) \о нем\; Тарский, Альфред (логик, математик ; 1902-1983) \о нем\; Российская академия наук(М.). Институт философии(М.) Экземпляры всего: 2 ГЧЗ (1), ГА (1) Свободны: ГЧЗ (1), ГА (1) |