Приложение
для AndroidПолное описание
Карпенко, А. С. Трехзначная логика Бочвара и литеральные паралогики / А. С. Карпенко, Н. Е. Томова ; Ин-т философии РАН. - М. : ИФ РАН, 2016. - 110 с. : ил. - Библиогр.: с. 92-102. Предм. указ.: с. 105-108. - 500 экз. - ISBN 978-5-9540-0314-7 : 150 р. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 27.03.19 | 510.644 | |
| 02.21 | 164 |
Рубрики:
Математическая логика
Логика
Доп. точки доступа:
Томова, Н.Е.
Институт философии (Москва)
Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
Свободны: ХРЦ (1)
Логические исследования : Сб. ст. / Рос. АН. Ин-т философии. Вып. 2, 1993. - 302 с. - Текст : непосредственный.Вопросы философии : научно-теоретический журнал / Российская академия наук, Институт философии (Москва). - Журнал выходит с 1947г. - Текст : непосредственный.Социокультурный контекст науки / Рос.АН.Ин-т философии, 1998. - 221 с. - Текст : непосредственный.Будем ли мы жить во "всемирной деревне"? : Сб. ст. / Рос. АН. Ин-т философии, 1993. - 170 c. - Текст : непосредственный.Научный прогресс: когнитивные и социокультурные аспекты : Сб.ст / Рос.АН.Ин-т философии, 1993. - 197 c. - Текст : непосредственный.Познание в социальном контексте / Рос.АН.Ин-т философии, 1994. - 174 c. - Текст : непосредственный.Логика, методология, философия науки : Х1 Междунар.конф. / Институт философии (Москва). 5 : Секции:12.Философия языка, 1995. - 122 с. - Текст : непосредственный.Логика, методология, философия науки : Х1 Междунар.конф. / Институт философии (Москва). 7 : Секции:8.Методологические проблемы синергетики, 1995. - 147 с. - Текст : непосредственный.Логика, методология, философия науки : Х1 Междунар.конф. / Институт философии (Москва). 1 : Секции:1.Логика и основания математики.4.Эпистемология и логическая семантика, 1995. - 199 с. - Текст : непосредственный.Логика, методология, философия науки : Х1 Междунар.конф. / Институт философии (Москва). 2 : Секции:2.Неклассические логики.3.Логика и компьютерные науки, 1995. - 196 с. - Текст : непосредственный.Логика, методология, философия науки : Х1 Междунар.конф. / Институт философии (Москва). 3 : Секции:10.Основания гуманитарных наук.а)Общие проблемы.б)Дискуссии по отдельным проблемам, 1995. - 160 с. - Текст : непосредственный.Логика, методология, философия науки : Х1 Междунар.конф. / Институт философии (Москва). 4 : Секции:10.Основания гуманитарных наук.а)Дискуссия по специальным проблемам.11.Основания психологии.Круглый стол:Наука и музыка, 1995. - 203 с. - Текст : непосредственный.Логика, методология, философия науки : Х1 Междунар.конф. / Институт философии (Москва). 8 : Секции:9.Основания естественных наук, 1995. - 207 с. - Текст : непосредственный.Логика, методология, философия науки : Х1 Междунар.конф. / Институт философии (Москва). 9 : Секции: 5. Индукция,вероятность и теория решений. 13. Философия техники. Круглый стол: Философия медицины и проблемы биоэтики, 1995. - 210 с. - Текст : непосредственный.Логика, методология, философия науки : Х1 Междунар.конф. / Институт философии (Москва). 10 : Секции:6.Философия и методы научного познания.14.Философия и история науки, 1995. - 159 с. - Текст : непосредственный.Логика, методология, философия науки : Х1 Междунар.конф. / Институт философии (Москва). 6 : Секции:7.История логики и методология науки, 1995. - 153 с. - Текст : непосредственный.Когнитивная эволюция и творчество / И.П.Меркулов,А.С.Майданов,И.А.Бескова и др., 1995. - 225 c. - Текст : непосредственный.Философские проблемы физики элементарных частиц : Тридцать лет спустя / Рос.АН. Ин-т философии, 1995. - 32 c. - Текст : непосредственный.Рациональность как предмет философского исследования / Ин-т философии, 1995. - 225 c. - Текст : непосредственный.Философия науки : [ежегодник] / Рос. АН, Ин-т философии. Вып. 1 : Проблемы рациональности, 1995. - 325 с. - Текст : непосредственный.
Показать все результатыЛогика и общество. Противоречия и возможные миры / ВЦП. - 531 c. - Текст : непосредственный.Федоряев С.Т. Структурные свойства алгебраической сводимости конструктивизаций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. Т. Федоряев, 1991. - 11 с. - Текст : непосредственный.Хасидашвили З.О. Системы редукции форм и редукции сокращенных форм и -термов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / З. О. Хасидашвили, 1991. - 14 с. - Текст : непосредственный.Судоплатов С.В. Базируемость стабильных теорий и свойства счетных моделей с мощными типами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Судоплатов, 1990. - 13 с. - Текст : непосредственный.Важенин Ю.М. Критические теории первого порядка : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Ю. М. Важенин, 1992. - 21 с. - Текст : непосредственный.Симонова И.Г. Доказуемостно-интуиционистская логика и ее расширения : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / И. Г. Симонова, 1992. - 16 с. - Текст : непосредственный.Любецкий В.А. Оценки и пучки теоремы переноса : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;01.01.06 / В. А. Любецкий, 1991. - 34 с. - Текст : непосредственный.Омаров А.И. Р-формулы и булевы конструкции в теории моделей и универсальной алгебре : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. И. Омаров, 1992. - 19 с. - Текст : непосредственный.Касымов Н.Х. Рекурсивно отделимые нумерованные алгебры : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук:01.01.06 / Н. Х. Касымов, 1993. - 16 с. - Текст : непосредственный.Архангельский Д.А. Информационные логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Д. А. Архангельский, 1993. - 16 с. - Текст : непосредственный.Венцов Ю.Г. Условия эффективности выбора в теории конструктивных моделей : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Ю. Г. Венцов, 1994. - 20 с. - Текст : непосредственный.Победин Л.Н. Теория вычислений с двуместными оракулами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Л. Н. Победин, 1993. - 10 с. - Текст : непосредственный.Пантелеев В.И. Полиномиальные разложения конечнозначных функций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / В. И. Пантелеев, 1994. - 14 с. - Текст : непосредственный.Белеградек О.В. Теория моделей унитреугольных и экзистенциально замкнутых групп : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / О. В. Белеградек, 1995. - 32 с. - Текст : непосредственный.Хомич В.И. Проблема отделимости в пропозициональных исчислениях : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17 / В. И. Хомич, 1995. - 27 с. - Текст : непосредственный.Машурян А.С. Исследование рекурсивных схем на конечных моделях некоторых нетрадиционных арифметических теорий : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / А. С. Машурян, 1995. - 14 с. - Текст : непосредственный.Ешкеев А.Р. Ионсоновские теории : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.06 / А. Р. Ешкеев, 1995. - 17 с. - Текст : непосредственный.Кудинов О.В. Автоустойчивость конструктивных моделей : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / О. В. Кудинов, 1995. - 12 с. - Текст : непосредственный.Бабенышев С.В. Исследования допустимых правил в нестандартных логиках : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Бабенышев, 1995. - 13 с. - Текст : непосредственный.Конев Б.Ю. Оценки высоты термов в наиболее общем унификаторе : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Б. Ю. Конев, 1999. - 15 с. - Текст : непосредственный.
Показать все результатыКлассификация ошибок, совершаемых человеком / ВЦП. - 11 с. - Текст : непосредственный.Sommerhalder R. A resolution method for some systems of MODAL LOGIC : Diss. / R.Sommerhalder, 1992. - 173 p. - Текст : непосредственный.Eijck D.J.van Dynamic modal predicate logic / D.J.van Eijck,G.Cepparello, 1992. - 19 p. - Текст : непосредственный.Nerode A. Logic for applications / A.Nerode,R.A.Shore, 1993. - XVII,365 p. p. - Текст : непосредственный.Makkai M. Duality and definability in first order logic / M.Makkai, 1993. - X,106 p. p. - Текст : непосредственный.Benthem J.van Modal logic,transition systems and processes / J.van Benthem,D.J.N.van Eijck,V.Stebletsova, 1993. - 43 p. - Текст : непосредственный.Жоль К.К. Логика в лицах и символах : Науч.-попул.кн. / К.К.Жоль, 1993. - 255 c. - Текст : непосредственный.Логические исследования : Сб. ст. / Рос. АН. Ин-т философии. Вып. 2, 1993. - 302 с. - Текст : непосредственный.Математическая логика и теория алгоритмов : Сб. / Отв. ред. Ю.Л.Ершов, С.С.Гончаров, 1993. - 201 c. - Текст : непосредственный.Абаев Н.Б. Выявление скрытых законов логики и приложение их к строгим наукам / Н.Б.Абаев, 1993. - 164 c. - Текст : непосредственный.Шульгин А.П. Целесообразное движение.Логика.Механика.Машиноведение.Государствоведение / А.П.Шульгин, 1994. - 48 c. - Текст : непосредственный.Бочаров В.А. Основы логики : Учеб / В.А.Бочаров,В.И.Маркин, 1994. - 272 c. - Текст : непосредственный.Ben-Shalom D. A path-based variable-free system for predicate logic / D.Ben-Shalom, 1994. - 12 p. - Текст : непосредственный.Булос Д. Вычислимость и логика : Пер.с англ.В.А.Душского и Е.Ю.Ногиной под ред.С.Н.Артемова / Д.Булос,Р.Джеффри, 1994. - 396 c. - Текст : непосредственный.Войшвилло, Е. К. Логика как часть теории познания и научной методологии : Фундамент.курс:Учеб.пособие для филос.фак.и преподавателей логики. Кн. 1, 1994. - 311 с. - Текст : непосредственный.Rijke M.de A Lindstrom theorem for modal logic / M.de Rijke, 1994. - 13 p. - Текст : непосредственный.Blackburn P. The algebra of modal logic / P.Blackburn,M.de Rijke,Y.Venema, 1994. - 61 p. - Текст : непосредственный.Ивин А.А. Элементарная логика : Учеб.пособие для общеобразоват.школ,гимназий,лицеев,колледжей / А.А.Ивин, 1994. - 198 c. - Текст : непосредственный.Мамий К.С. Основы современной математики (элементы логики, теории множеств и множества действительных чисел) : Учеб.пособие для студентов мат.фак.пединститутов и ун-тов / К.С.Мамий, 1994. - 143 c. - Текст : непосредственный.Алгебраические и логические конструкции : Сб.науч.тр. / Твер.гос.ун-т, 1994. - 105 c. - Текст : непосредственный.
Показать все результатыЗолотых Н.Ю. Расшифровка пороговых и близких к ним функций многозначной логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.17 / Н. Ю. Золотых, 1998. - 12 с. - Текст : непосредственный.Селезнева С.Н. О свойствах полиномов над конечными полями и об алгоритмической сложности распознавания свойств функций многозначных логик, представленных полиномами : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.09 / С. Н. Селезнева, 2000. - 14 с. - Текст : непосредственный.Прикладные нечеткие системы / К.Асаи,Д.Ватада,С.Иваи и др.;Под ред.Т.Тэрано и др.; Пер.с яп.Ю.Н.Чернышова, 1993. - 368 c. - Текст : непосредственный.Wygralak M. Vaguely defined objects / M.Wygralak, 1996. - XIV,265 p. p. - Текст : непосредственный.Карпенко А.С. Многозначные логики / А.С.Карпенко, 1997. - 223 с. - Текст : непосредственный.Яблонский С.В. Предполные классы в многозначных логиках : Учеб. пособие по курсу "Дискретная математика" / С.В.Яблонский,Г.П.Гаврилов,А.А.Набебин;Под ред.В.Н.Вагина, 1997. - 142 с. - Текст : непосредственный.Гитман, М. Б. Введение в теорию нечетких множеств и интервальную математику : Учеб.пособие для студентов спец.01.02. Ч. 1 : Применение лингвистической переменной в системах принятия решений, 1998. - 44 с. - Текст : непосредственный.Нечеткие системы: модели и программные средства : Сб. науч. тр. / Твер. гос. ун-т.Сов.ассоц.нечетких систем, 1991. - 112 с. - Текст : непосредственный.Левнер Е.В. Размытые множества и их применения / Е. В. Левнер, А. С. Птускин, А. А. Фридман, 1998. - 108 с. - Текст : непосредственный.Рыжов А.П. Элементы теории нечетких множеств и измерения нечеткости / А.П.Рыжов, 1998. - 116 с. - Текст : непосредственный.Орловский С.А. On properties of objects and fuzzy sets / С.А.Орловский, 1992. - 40 p. - Текст : непосредственный.Kolodziejczyk W. Przechodnie relacje rozmyte i ich zastosowania / W.Kolodziejczyk, 1990. - 131 s. - Текст : непосредственный.Никаноров С.П. Задачник по концептуальному мышлению / С.П.Никаноров, 1999. - 61 с. - Текст : непосредственный.Progress in fuzzy sets and systems / сост.ed. W. H. Janko, 1990. - 188 p. - Текст : непосредственный.Бровкова М.Б. Системы искусственного интеллекта. Нечеткие множества : Учеб. пособие по курсу "Системы искусств. интеллекта" для студентов спец. 220400 / М.Б.Бровкова, 2000. - 39 с. - Текст : непосредственный.Абуталиев Ф.А. Вопросы технического диагностирования электронных систем и теория нечетких множеств / Ф. А. Абуталиев, Р. З. Салахутдинов, Е. Д. Бычков, 1991. - 29 с. - Текст : непосредственный.Волгин Л.И. Непрерывная логика. Теория применения / Л.И.Волгин,В.И.Левин, 1990. - 210 с. - Текст : непосредственный.Войтов А.Г. Самоучитель мышления / А.Г.Войтов, 2001. - 408 с. - Текст : непосредственный.Карпенко А.С. Логики Лукасевича и простые числа / А.С.Карпенко, 2000. - 319 с. - Текст : непосредственный.Паронджанов В.Д. Как улучшить работу ума. Алгоритмы без программистов - это очень просто! / В.Д.Паронджанов, 2001. - 359 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽