Лексаченко, В. А. Логика. Множества. Вероятность [Text] : монография / В. А. Лексаченко. - М. : Вузовская книга, 2001. - 128 с. : ил. - ^aБиблиогр.: с.126. - Б. ц.
Множеств теория Теория вероятностей Свободных экз. нет |
Гордон, Е. И. Инфинитезимальный анализ [Text] : монография / Гордон Е.И. - Новосибирск : Изд-во Ин-та математики, 2001. - 246 с. : ил. - (Нестандартные методы анализа). - ^aБиблиогр.:с.206-241. - Б. ц. В надзаг.: Рос. АН, Сиб. отд-ние, Ин-т математики им. С. Л. Соболева
Доп.точки доступа: Кусраев, А.Г.; Кутателадзе, С.С. Свободных экз. нет |
Фролов, И. С. Элементы математической логики [Text] : учеб. пособие для студентов мат. спец. / И. С. Фролов. - Самара : [s. n.], 2001. - 80 с. - ^aБиблиогр.: с.79 (13 назв.). - Б. ц. В надзаг.: Самар. гос. ун-т, Каф. алгебры и геометрии.
Свободных экз. нет |
Логика и семантическое программирование [Text] : сб.науч.тр. / Науч.ред.:Ю.Л.Ершов,С.С.Гончаров. - Новосибирск : [s. n.], 1992. - 202 с. : ил. - (Вычислительные системы / Рос.АН.Сиб.отд-ние.Ин-т математики ; 146). - ^aБиблиогр.в конце ст. - ISBN 5-7623-0417-5 : Б. ц. Перевод заглавия: ^aLogic and semantic programming Содержание: Перевод заглавия: ^aLogic and semantic programming
<Математическая> <логика> Доп.точки доступа: Ершов, Ю.Л. Свободных экз. нет |
Лыскова, В. Ю. Логика в информатике [Text] : монография / В. Ю. Лыскова, Е. А. Ракитина. - М. : Информатика и образование, 1999. - 141 с. : ил. - (Информатика в школе). - ^aБиблиогр.:с.139(22 назв.). - ISBN 5-900618-13-7 : Б. ц.
Логические элементы Доп.точки доступа: Ракитина, Е.А. Свободных экз. нет |
Мурзина, В. Ф. The polymodal logic based on A-spaces [Text] : препринт / В. Ф. Мурзина. - Novosibirsk, 2000. - 14 p. - (Препринт ; 73). - Б. ц. Перед загл. авт.:V.F.Murzina Перевод заглавия: ^aThe polymodal logic, based on A-spaces Содержание: Перевод заглавия: ^aThe polymodal logic, based on A-spaces
Параллельные вычисления Программы для ЭВМ Свободных экз. нет |
Селиванов, В. Л. Краткий курс математической логики [Text] : учеб.пособие / В. Л. Селиванов, А. А. Урман, А. Б. Хуторецкий. - Новосибирск : [s. n.], 1997. - 167 с. - ^aБиблиогр.:с.165. - ISBN 5-85921-078-7 : Б. ц. В надзаг.:Новосиб.гос.пед.ин-т.
Доп.точки доступа: Урман, А.А.; Хуторецкий, А.Б. Свободных экз. нет |
Ершов, Ю. Л. Определимость и вычислимость [Text] : монография / Ю. Л. Ершов. - 2.изд.,испр.и доп. - М. : Экономика ; Новосибирск : Науч.кн., 2000. - 318 с. - ^aБиблиогр.:с.306-309.Предм.указ.:с.310-314. - ISBN 5-282-02021-1 : Б. ц. В надзаг.:Ин-т математики СО РАН,Новосиб.гос.ун-т,Ин-т дискретной математики и информатики.
Сложность вычислений Свободных экз. нет |
Кузьмин, О. В. Логические задачи [Text] : учеб. пособие / О. В. Кузьмин. - Иркутск : Изд-во Иркут. ун-та, 1999. - 204с. : ил. - ^aБиблиогр.:с.203-204(29назв.). - ISBN 5-7430-0601-6 : Б. ц.
Свободных экз. нет |
Труды [Text] : материалы временных коллективов / "Континуальные логико-алгебраические и нейросетевые методы в науке и экономике",международная конф.(2000;Ульяновск). - Ульяновск : [s. n.], 2000. - 141 с. : ил. - ^aБиблиогр. в конце ст. - Б. ц. В надзаг.:Междунар.акад.информатизации,Ассоц.искусств.интеллекта,Ульянов.гос.техн.ун-т.
Свободных экз. нет |
Ревуженко, А. Ф. Механика упруго-пластических сред и нестандартный анализ [Text] : монография / Отв.ред.Е.И.Шемякин. - Новосибирск : Изд-во Новосиб.ун-та, 2000. - 426 с. : ил. - ^aБиблиогр.:с.409-422 (326 назв.). - ISBN 5-7615-0491-X : Б. ц. В надзаг.:Сиб.отд-ние Рос.АН, Ин-т горн.дела, Сиб.независимый ин-т.
Математическая логика Свободных экз. нет |
Попов, С. В. Прикладные аспекты теории доказательств [Text] : учеб.пособие / С. В. Попов. - М. : [s. n.], 1999. - 243с. : ил. - ^aБиблиогр.:с.242(2назв.). - Б. ц. В надзаг.:Моск.гос. инж.-физ.ин-т(техн.ун-т).
Свободных экз. нет |
Гамова, А. Н. Математическая логика и теория алгоритмов [Text] : учеб. пособие для студентов и аспирантов мат. фак. ун-та / А. Н. Гамова. - Саратов : [s. n.], 1999. - 76 с. - ^aБиблиогр.: с. 76 (6 назв.). - ISBN 5-292-02362-0 : Б. ц. В надзаг.: Сарат. гос. ун-т им. Н.Г. Чернышевского.
Алгоритмы Свободных экз. нет |
Верещагин, Н. К. Языки и исчисления [Text] : выставочные материалы / Н. К. Верещагин, А. Шень. - М. : МЦНМО, 2000. - 286 с. - (Лекции по мат.логике и теории алгоритмов) (Математическая логика и теория алгоритмов. Современные лекционные курсы). - ^aБиблиогр.:с.269-272 (34 назв.). Указ.:с.273-284. - ISBN 5-900916-66-9 : Б. ц. На обл.авт.не указ. Содержание:
Доп.точки доступа: Шень, А. Свободных экз. нет |
Карпенко, А. С. Логики Лукасевича и простые числа [Text] : монография / А. С. Карпенко. - М. : Наука, 2000. - 319 с. - ^aБиблиогр.: с. 283-308. Имен. указ.: с. 309-313. - ISBN 5-02-013048-6 : Б. ц. Парал. загл. англ. В надзаг.: Рос. АН, Ин-т философии.
Числа простые Свободных экз. нет |
Акимов, О. Е. Дискретная математика [Text] : логика, группы, графы / О. Е. Акимов. - М. : Лаб.Базовых Знаний, 2001. - 349 с. : ил. - (Математика) (Технический университет). - ISBN 5-93208-053-1 : Б. ц.
Группы (матем.) Графов теория Свободных экз. нет |
Институт дискретной математики и информатики,Новосибирск. Логика и приложения [Text] : тез. междунар. конф., посвящ. 60-летию со дня рождения Ю.Л.Ершова / Институт дискретной математики и информатики,Новосибирск. - Новосибирск : [s. n.], 2000. - 157 с.1 бр. (8 с.). - ^aБиблиогр. в конце отд. докл. - Б. ц. В надзаг.: Ин-т дискрет. математики и информатики, Ин-т математики СО РАН им. С.Л.Соболева, Новосиб. гос. ун-т.
Свободных экз. нет |
Косовский, Н. К. Логики конечнозначных предикатов на основе неравенств [Text] : учеб. пособие / Н. К. Косовский, А. В. Тишков. - СПб. : Изд-во С.-Петерб.ун-та, 2000. - 268 с. - ^aБиблиогр.: с. 268 (6 назв.). - ISBN 5-288-02049-3 : Б. ц. В надзаг.: С.-Петерб. гос. ун-т.
Доп.точки доступа: Тишков, А.В. Свободных экз. нет |
Инфинитезимальный анализ [Text] : монография / Гордон Е.И. - Новосибирск : Изд-во Ин-та математики, 2001. - 317 с. : ил. - (Нестандартные методы анализа). - ^aБиблиогр.: с. 275-309(531 назв.). Указ: с. 310-317. - ISBN 5-86134-095-1 : Б. ц. В надзаг.: Рос. АН, Сиб. отд-ние, Ин-т математики им. С. Л. Соболева
Свободных экз. нет |
Марченков, С. С. S-классификация функций трехзначной логики [Text] : монография / С. С. Марченков. - М. : Физматлит, 2001. - 79 с. : ил. - ^aБиблиогр.: с. 78-79 (41 назв.). - ISBN 5-9221-0152-8 : Б. ц.
Свободных экз. нет |