Сводный электронный каталог

научно-технических библиотек Томского научного центра СО РАН

Результат поиска

Результаты: 51 - 60 из 590 для dc.subject any/relevant "ЛОГИКА ЛОГИЧЕСК ... ( 0.260 сек.)

51
Кузнецов, Олег Петрович.
Дискретная математика для инженера / О. П. Кузнецов, Г. М. Адельсон-Вельский. — 2-е изд., перераб. и доп. — М.: Энергоатомиздат, 1988. — 480 с.: ил. — Предм. указ.: с. 476-478. — Библиогр.: с. 473-475. — 1.80.
Детальное описание | Добавить в корзину | Похожие записи
52
Ахо, Альфред.
Построение и анализ вычислительных алгоритмов / А. Ахо, Дж. Хопкрофт, Дж. Ульман ; пер. с англ. А. О. Слисенко под ред. Ю. В. Матиясевича. — М.: Мир, 1979. — 535 с.: ил. — Парал. тит. лист англ. — Имен. указ.: с. 516-518 - Предм. указ.: с. 519-531. — 2.60.
Детальное описание | Добавить в корзину | Похожие записи
53
Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Н. А. Алешина [и др.]; Академия наук СССР. — М.: Наука, 1990. — 238, [2] с. — (Кибернетика: неограниченные возможности и возможные ограничения). — Библиогр.: с. 231-234. — ISBN 5-02-007156-0: 0.65.
Детальное описание | Добавить в корзину | Похожие записи
54
Киселева, Надежда Николаевна.
Компьютерное конструирование неорганических соединений = Computer design of inorganic compounds: использование баз данных и методов искусств. интеллекта / Н. Н. Киселева ; отв. ред. В. С. Земсков, рец.: Л. Е. Шелимова, В. И. Луцык; Институт металлургии и материаловедения им. А. А. Байкова РАН (М.). — М.: Наука, 2005. — 286,[2] с.: ил.; 22 см. — Библиогр.: с. 265-287. — ISBN 5-02-033723-4: 124.00.
Монография посвящена новому, быстро развивающемуся направлению теоретической химии, - компьютерному конструированию неорганических соединений. Рассмотрен подход к компьютерному дизайну соединений, который использует методы искусственного интеллекта для анализа информации баз данных по свойствам неорганических веществ. Описаны базы данных по свойствам веществ и материалов, разработанные в ИМЕТ РАН, и методы компьютерного анализа химической информации. Проанализированы результаты использования компьютерного конструирования для поиска закономерностей в информации баз данных с целью прогноза состава еще не полученных соединений с заданными свойствами. Для научных работников и специалистов в областях неорганической химии и материаловедения, а также всех, интересующихся современными проблемами компьютерного анализа данных и информационными системами.
Детальное описание | Добавить в корзину | Похожие записи
55
Кравцов, Анатолий Васильевич.
Компьютерное прогнозирование и оптимизация производства бензинов. Физико-химические и технологические основы / А. В. Кравцов, Э. Д. Иванчина ; отв. ред. Е. Е. Сироткина. — Томск: STT, 2000. — 191 с.: табл. — Библиогр. в конце гл. — ISBN 5-93629-010-7.
В монографии изложен новый подход к повышению эффективности и оптимизации производства товарных бензинов с использованием компьютерных интеллектуальных систем, основанных на физико-химических, технологических закономерностях этих процессов и фактических данных по эксплуатации действующих промышленных установок. Посредством физико-химического анализа и компьютерного моделирования кинетики процесса с учетом экспериментальных данных с различных НПЗ показано решение проблем тестирования катализаторов с учетом состава сырья и технологических особенностей производства, определения оптимального уровня кислотной и металлической активности Pt-контакта, стабилизации технологических режимов и прогнозирования срока регенерации катализатора. Предложена модель процесса компаундирования товарных бензинов на основе расчета интенсивности межмолекулярных взаимодействий компонентов смеси и установлена эффективность совместной оптимизации технологической и производственной стадий НПЗ. В заключение приведено описание "Тренинг-системы" по аварийным и эксплуатационным ситуациям на НПЗ. Книга предназначена для инженерно-технического персонала нефтехимических и нефтеперерабатывающих производств, а также в качестве учебного пособия для студентов химико-технологических специальностей вузов.
Детальное описание | Добавить в корзину | Похожие записи
56
Панкин, Александр Васильевич.
Немецко-русский словарь терминов и понятий высоких технологий = Deutsche-Russisches Worterbuch der Hightech-Begriffe: 35000 терминов / А. В. Панкин. — М.: URSS, 2008. — 745, [1] с.; 22 см. — Все права защищены. — ISBN 978-5-397-00239-4: 988.00.
Настоящий словарь содержит 35000 терминов по таким современных отраслям техники, как эфирное, кабельное и спутниковое телевидение, видео- и аудиотехника, нанотехнологии, электроника и электронная техника, телекоммуникации и связь, компьютерная техника. компьютерные сети и Интернет, программирование и информатика, автоматическое регулирование и управление, робототехника и искусственный интеллект, цифровая фотография и цифровая кинематография др. В приложении приведены более 1000 необходимых английских и немецких сокращений с расшифровкой и переводом на русский язык. Многочисленные пояснения, толкования и определения наиболее сложных и актуальных понятий повышают полезность словаря и осмысленность работы переводчика или студента. изучающего немецкий язык или немецкую специальную терминологию. Словарь предназначен для специалистов различных областей техники. переводчиков и сотрудников информационных служб, студентов и преподавателей вузов различного профиля, а также для всех изучающих немецкий язык или использующих его в своей работе.
Детальное описание | Добавить в корзину | Похожие записи
57
Фафенбергер, Брайан.
Толковый словарь по компьютерным технологиям и Internet: справочное издание / Б. Фафенбергер, Д. Уолл. — 6-е изд. — Киев: Диалектика, 1996. — 480 с.: ил. — ISBN 966-506-028-7: 91.21.
Словарь раскрывает содержание основных терминов и понятий современной информатики и вычислительной техники. Приведена таблица соответствия терминов на русском и английском языках. Для пользователей и программистов с различным уровнем подготовки.
Детальное описание | Добавить в корзину | Похожие записи
58
Англо-русский словарь по вычислительной технике: около 42 000 терминов / В. К. Зейденберг [и др.] ; под ред. Е. К. Масловского. — 5-е изд., испр. и доп. — М.: Русский язык, 1989. — 800 с. — ISBN 5-200-00653-8: 6.20.
Детальное описание | Добавить в корзину | Похожие записи
59
Масловский, Евгений Константинович.
Русско-англо-немецко-французский словарь по вычислительной технике: основные термины : 5400 терминов / Е. К. Масловский, Б. И. Зайчик, Н. С. Скороход ; под общ. рук. Е. К. Масловского. — М.: Русский язык, 1992. — 393 с. — ISBN 5-200-00784-4: 3.70.
Детальное описание | Добавить в корзину | Похожие записи
60
Новиков, Петр Сергеевич.
Элементы математической логики / П. С. Новиков. — 2-е изд., испр. — М.: Наука. Главная редакция физико-математической литературы, 1973. — 399, [1] с. — (Математическая логика и основания математики). — Предм. указ.: с. 397-399. — 1.43.
Детальное описание | Добавить в корзину | Похожие записи