Вступ до аналізу
Підтеми:
Документи:
- Абстрактная и структурная теория релейных устройств [Текст] / отв. ред.: М. А. Гаврилов. — М. : Наука, 1972. — 216 с.
- Автоматизированные информационные системы [Текст] / под ред. А. А. Дородницына. — М. : Наука, 1982. — 384 с.
- Аксиома выбора и аксиома дотерминированности [Текст] / Владимир Кановей. — М. : Наука, 1984. — 64 с.
- Алгебра и логика [Текст] : сб. науч. тр. / АН СССР, Ин-т математики. — Новосибирск : [б. и.], 1989. — 122 с.
- Алгебра и логика [Текст] : сб. науч. тр. / АН СССР, Ин-т математики. — Новосибирск : [б. и.], 1989. — 612 с.
- Алгебра и логика [Текст] : сб. науч. тр. / АН СССР, Ин-т математики. — Новосибирск : [б. и.], 1990. — 256 с.
- Алгебра и логика [Текст] : сб. науч. тр. / АН СССР, Ин-т математики. — Новосибирск : [б. и.], 1990. — 383 с.
- Алгебра и логика [Текст] : сб. науч. тр. / АН СССР, Ин-т математики. — Новосибирск : ИМ СО АН СССР, 1991. — 256 с.
- Алгебра и логика [Текст] : сб. науч. тр. / АН СССР, Ин-т мат. — Новосибирск : [б. и.], 1989. — 125 с.
- Алгебра и логика [Текст] : сб. науч. тр. / АН СССР, Сиб. отд-ние, Ин-т математики ; [редкол.: Ю. Л. Ершов (гл. ред.) и др.]. — Новосибирск : [б. и.], 1989. — 367 c.
- Алгебраические системы [Текст] / Анатолий Мальцев. — М. : Наука, 1970. — 392 с.
- Алгебра, логика и теория чисел [Текст] / Моск. гос. ун-т ; под ред. О. Б, Лупанова, А. И. Кострикина. — М. : Изд-во ун-та, 1986. — 102 с.
- Алгебра логики в задачах [Текст] / Семен Гиндикин. — М. : Наука, 1972. — 288 с.
- Алгебро-логические конструкции [Текст] : сб. науч. тр. / Калинин. гос. ун-т ; [редколл.: Ю. М. Горчаков (отв. ред.) и др.]. — Калинин : КГУ, 1989. — 121 с.
- Алгоритмы и формальные системы [Текст] : учеб. пособие / Киев. гос. ун-т. — Киев : КГУ, 1981. — 112 с.
- Алиса в Стране Смекалки [Текст] : пер. с англ. / Р.М. Смаллиан. — М. : Мир, 1987. — 182 с.
- А ну-ка догадайся! [Текст] / пер. с англ. Ю. А. Данилова. — М. : Мир, 1984. — 213 с.
- А ну - ка догадайся ! [Текст] : пер. с англ. / М. Гарднер. — М. : Мир, 1984. — 213с.
- Бесконечнозначная логика в задачах кибернетики [Текст] / Виталий Левин. — М. : Радио и связь, 1982. — 176 с.
- Булева структура и ее модели [Текст] / Исаак Яглом. — М. : Сов. радио, 1980. — 192 с.
- Булеві алгебри [Текст] / Юрій Рижов, Віталій Сущанський. — К. : Вища шк., 1982. — 95 с.
- Булевы алгебры [Текст] / Денис Владимиров. — М. : Наука, 1969. — 318 с.
- Булевы алгебры [Текст] / пер с англ. А. С. Мищенко. — М. : Мир, 1969. — 375 с.
- Введение в математическую логику [Текст] : учебное пособие для студ. математ. спец. вузов / А.Н. Колмогоров, А.Г. Драгалин. — М. : изд-во Московского ун-та, 1982. — 120 с.
- Вокруг теоремы Геделя [Текст] / Латв. ун-т, Ин-т математики и информатики. — Рига : Зинатне, 1992. — 191 с.
- Вокруг теоремы Геделя [Текст] / Латв. ун-т, Ин-т математики и информатики. — Рига : Латв. гос. ун-т, 1981. — 106 с.
- Вопросы кибернетики [Текст] : [сб.ст.] / АН СССР, Науч. совет по комплекс. проблеме "Кибернетика" ; под. ред. О. М. Белоцерковского. — М. : Науч. совет по комплекс. проблеме "Кибернетика" АН СССР, 1989. — 177, [2] с.
- Выразимость в исчислениях высказываний [Текст] : [монография] / под ред. А. Д. Тайманова ; АН ССРМ, Ин-т математики с ВЦ. — Кишинев : Штиинца, 1991. — 202, [1] с.
- Генценовские системы для исчисления высказываний и аксиоматической арифметики [Текст] : учеб. пособие / Михаил Кипнис. — Челябинск : [б. и.], 1985. — 32 с.
- Гносеологические проблемы формализации [Текст] / АН БССР. Ин - т философии и права. — Минск : Наука и техника, 1969. — 268 с.
- Гомоморфизмы и модели. Логико-алгебрагические аспекты моделирования [Текст] / АН СССР, Науч. совет по компл. проблеме "Кибернетика". — М. : Наука, 1975. — 151 с.
- Динамика логических устройств и систем [Текст] / Виталий Левин. — М. : Энергия, 1980. — 224 с.
- Дифференциальное и интегральное исчисления для втузов [Текст] : учеб. для втузов / Николай Пискунов. — 8-е изд., стер. — М. : Наука, 1968. — 312 с.
- Доказуемое и недоказуемое [Текст] / Юрий Манин. — М. : Сов. радио, 1979. — 168 с.
- Элементы алгебры логики [Текст] : учеб. пособие для студентов ХПИ / Харьк. политехн. ин-т им. В. И. Ленина, Каф. высш. математики. — Харьков : [б. и.], 1969. — 59 с.
- Элементы алгебры логики [Текст] : учеб. пособие / Сев.-зап. заоч. политехн. ин-т. — Л. : СЗПИ, 1977. — 36 с.
- Элементы математической логики и некоторые алгебраические понятия [Текст] : учеб. пособие / МГПИ. — М. : [б. и.], 1974. — 47 с.
- Элементы математической логики и теории множеств [Текст] / Раймонд Вольвачев. — Минск : Университетское, 1986. — 111, [1] с.
- Элементы математической логики и теории множеств [Текст] : учеб. пособие / [отв. ред.Т. В. Чекмарев]. — Горький : [б. и.], 1973. — 32 с.
- Элементы математической логики и теории множеств [Текст] / Юрий Пензов. — Саратов : Изд-во Сарат. ун-та, 1968. — 143 с.
- Элементы математической логики [Текст] / под ред. А. Г. Драгалина. — М. : Изд-во МГУ, 1984. — 80 с.
- Элементы теории множеств и математической логики [Текст] : учеб. пособ / Яросл. гос. ун-т. — Ярославль : ЯрГУ, 1978. — 117 с.
- Задачи и упражнения по математическому анализу [Текст] / под общ. ред. В. А. Садовничего. — М. : Изд-во МГУ, 1988. — 415, [1] с.
- Задачи по теории множеств, математической логике и теории алгоритмов [Текст] / Игорь Лавров, Лариса Максимова. — 2-е изд. — М. : Наука, 1984. — 223 с.
- Задачник по математической логике [Текст] / МЭИ, Каф. вычисл. техники. — М. : [б. и.], 1972. — 127 с.
- Знакомство с высшей математикой. Анализ бесконечно малых [Текст] / Лев Понтрягин. — М. : Наука, 1980. — 256 с.
- Игра и логика. 85 логических задач [Текст] / пер. с венг. Ю. А. Данилова. — М. : Мир, 1975. — 358 с.
- Избранные вопросы алгебры и логики [Текст] : сборник, посвященный памяти А. И. Мальцева / АН СССР, Сибир. отд-ние, Ин-т математики ; [редкол.: А. И. Ширшов (гл. ред.) и др.]. — Новосибирск : Наука, 1973. — 340 с.
- Интеллектуальные системы и логика [Текст] / отв. ред. Б.Г, Миркин. — Новосибирск : Наука, 1973. — 172с.
- Интенсиональные логики и логическая структура теорий [Текст] : материалы 4-го сов.-фин. симп. по логике, 20-24 мая, 1985 г., Телави, ГрузССР / АН ГрузССР, Ин-т философии АН ГрузССР, Ин-т философии АН СССР ; [под ред. В. А. Смирнова, М. Н. Бежанишвили]. — Тбилиси : Мецниереби, 1988. — 182 с.
1
2
3
4
|
