Поисковый запрос: (<.>U=510.6<.>) |
Общее количество найденных документов : 26
Показаны документы с 1 по 20 |
|
>1.
| Карри, Хаскелл Б.. Основания математической логики. - М. : Мир
, 1969. - 567[1] с. (
2 экз. )
|
>2.
| Мендельсон, Эллиот. Введение в математическую логику : пер. с англ.. - М. : Наука
, 1984. - 319, [1] с. (
2 экз. )
|
>3.
| Смаллиан, Рэймонд. Как же называется эта книга? : пер. с англ.. - М. : Мир
, 1981. - 237[3] с. (
2 экз. )
|
>4.
| Агибалов Г. П. Логическое проектирование переключательных автоматов. - Томск : Издательство Томского университета
, 1983. - 154 с. (
2 экз. )
|
>5.
| Шапиро, Самуил Иосифович. Решение логических и игровых задач (логико-психологические этюды) : научное издание. - М. : Радио и связь
, 1984. - 152 с. (
2 экз. )
|
>6.
| Клини, Стефан Коул. Математическая логика : Пер. с англ.. - М. : Мир
, 1973. - 480 с. (
2 экз. )
|
>7.
| Вычислительные системы [] : Сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. Вып. 116 : Прикладная логика : сборник научных трудов. - Новосибирск : Институт математики
, 1986. - 166 с. (
2 экз. )
|
>8.
| Логический подход к искусственному интеллекту : От классической логики к логическому программированию: Пер. с фр.. - М. : Мир
, 1990. - 429[3] с. (
4 экз. )
|
>9.
| Вычислительные системы [] : Сборник научных трудов / Российская Академия наук. Сибирское отделение, Институт математики им. С. Л. Соболева. Вып. 152 : Теория вычислений и языки спецификаций. - Новосибирск
, 1995. - 220 с. (
1 экз. )
|
>10.
| Смаллиан, Рэймонд. Алиса Стране Смекалки : Пер. с англ.. - М. : Мир
, 1987. - 179[5] с. (
1 экз. )
|
>11.
| Мелихов, Аскольд Николаевич. Ситуационные советующие системы с нечеткой логикой : научное издание. - М. : Наука
, 1990. - 271[1] с. (
9 экз. )
|
>12.
| Математическая логика в программировании : Сборник статей 1980-1988 гг.: Пер. с англ.. - М. : Мир
, 1991. - 408 с. (
1 экз. )
|
>13.
| Градштейн, Израиль Соломонович. Прямая и обратные теоремы. Элементы алгебры логики : научное издание. - М. : Наука
, 1965. - 128 с. (
3 экз. )
|
>14.
| Глушков, Виктор Михайлович. Логическое проектирование дискретных устройств : научное издание. - Киев : Наукова думка
, 1987. - 264 с (
1 экз. )
|
>15.
| Гильберт, Давид. Основания математики. Логические исчисления и формализация арифметики : научное издание. - М. : Наука
, 1982. - 556 с (
2 экз. )
|
>16.
| Громов, Олег Александрович. Методы и алгоритмы повышения отказоустойчивости программируемых логических интегральных схем на основе КМОП элементов с избыточным базисом : автореферат диссертации ... кандидата технических наук: 05.13.05. - Пермь
, 2013. - 16 с. (
1 экз. )
|
>17.
| Исследования по формализованным языкам и неклассическим логикам : научное издание. - М. : Наука
, 1974. - 275 с. (
2 экз. )
|
>18.
| Депман, Иван Яковлевич. Первое знакомство с математической логикой : научное издание. - Л.
, 1965. - 56 с (
1 экз. )
|
>19.
| Барендрегт, Хендрик Питер. Ламбда - исчисление. Его синтаксис и сематика : научное издание. - М. : Мир
, 1985. - 606 с (
3 экз. )
|
>20.
| Петров, Юрий Александрович. Математическая логика и материалистическая диалектика. (Проблемы логико-философских оснований и обоснования теорий) : . - М. : Издательство Московского университета
, 1974. - 191, [1] с. (
1 экз. )
|
|
|