Главная
Авторизация
Фамилия
Пароль
 

Базы данных


Каталог книг и брошюр библиотеки ИФ СО РАН - результаты поиска

Вид поиска

Область поиска
в найденном
 Найдено в других БД:Каталог журналов библиотеки ИФ СО РАН (1)Труды сотрудников ИФ СО РАН (11)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=поиск<.>)
Общее количество найденных документов : 53
Показаны документы с 1 по 20
1.
   Д
   А 23


    Аганесов, Роберт Маисович.
    Байкальской тропой / Р. Аганесов. - М. : Мысль, 1971. - 144 с. : ил. - (Путешествия. Приключения. Поиск). - 62000 экз. - 0.33 р.
ГРНТИ
ББК Д9(2)


Держатели документа:
Библиотека Института физики им. Л.В. Киренского СО РАН
Экземпляры всего: 1
КФ (1)
Свободны: КФ (1)}
Найти похожие
2.
   Д
   Б 70


    Блон, Жорж.
    Великий час океанов. Атлантический океан / Ж. Блон ; пер. с фр. Л. А. Деревянкиной ; отв. ред и авт. предисл. Д. В. Богданов. - М. : Мысль, 1978. - 218 с. : ил. - (Путешествия. Приключения. Поиск). - Пер. изд. : La grande aventure des océans. - Paris, 1972. - 1.60 р.
ГРНТИ
ББК Д221я91 + Д89(9)я91


Держатели документа:
Библиотека Института физики им. Л.В. Киренского СО РАН
Доп.точки доступа:
Деревянкина, Л. А. \пер.\; Богданов, Д. В. \отв. ред и авт. предисл.\
Экземпляры всего: 1
КФ (1)
Свободны: КФ (1)}
Найти похожие
3.
   В3
   Б 91


    Бунге, Марио.
    Философия физики : пер. с англ. / М. Бунге ; пер. Ю. Б. Молчанов ; вступ. статья. М. Э. Омельяновский. - М. : Прогресс, 1975. - 347 с. - Пер. изд. : Philosophy of physics / Mario Bunge. - 1973. - 1.25 р.
    Содержание:
Омельяновский, Михаил Эразмович. Аксиоматика и поиск основополагающих принципов и понятий в физике / М. Э. Омельяновский. - С .333-346
ГРНТИ
ББК В3.в


Держатели документа:
Библиотека Института физики им. Л.В. Киренского СО РАН
Доп.точки доступа:
Молчанов, Юрий Борисович \пер.\; Омельяновский, Михаил Эразмович \вступ. статья.\; Bunge, Mario
Экземпляры всего: 1
КФ (1)
Свободны: КФ (1)}
Найти похожие
4.
   Ч8
   В 19


    Васильева, Варвара Михайловна.
    Шаг за шагом в мир глобальной науки : руководство по использованию Web of Knowledge, Journal Citation Report, EndNote Web, Researcher ID, Google Scholar, ИСТИНА / В. М. Васильева ; Моск. гос. ун-т им. М.В. Ломоносова. - М. : Изд-во МГУ, 2012. - 176 с. : ил. - (Учебники и учебные пособия). - 1000 экз. - ISBN 978-5-211-06454-6 : 265.00 р.
ГРНТИ
ББК Ч860я77
Рубрики:
Информационный поиск--Интернет--Учебники и учебные пособия
   Научная деятельность--Информация научная--Информационные технологии


Держатели документа:
Библиотека Института физики им. Л.В. Киренского СО РАН

Доп.точки доступа:
Московский государственный университет им. М.В. Ломоносова. Факультет государственного управления
Экземпляры всего: 1
КФ (1)
Свободны: КФ (1)}
Найти похожие
5.
   Ч86
   В 19


    Васина, Елена Юрьевна.
    Профессиональный поиск научно-технической информации. Индекс научного цитирования : учеб. пособие / под общей ред. Г.С. Щербининой ; Урал. гос. техн. ун-т. - Электрон. текстовые дан. - Екатеринбург : УГТУ-УПИ, 2009. - 157 с. - Загл. с домашней страницы Интернета. - 150 экз. - ISBN 978-5-321-01618-3 : Б. ц.
ГРНТИ
ББК Ч865.3я73
Рубрики:
Информационный поиск--Интернет--Учебники и учебные пособия
   Научная деятельность--Информация научная--Информационные технологии


Смотреть книгу
Держатели документа:
Библиотека Института физики им. Л.В. Киренского СО РАН

Доп.точки доступа:
Гильфанова, И. А. \рец.\; Уральский государственный технический университет
Экземпляры всего: 1
ЭБ (1)
Свободны: ЭБ (1)}
Найти похожие
6.
   Ч8
   В 24


   
    Введение в специальность "Библиотековедение и библиография" : учеб. пособие. - М. : Книга, 1983. - 159 с. - Библиогр. - 28000 экз. - 0.35 р.
    Содержание:
Библиотечное дело и библиография. Профессия библиотекаря-библиографа
Высшее библиотечно-библиографическое образование в СССР
Поиск информации в процессе учебной и научной работы студентов
ГРНТИ
ББК Ч83я73
Рубрики:
Библиотечное дело--Управление--Кадры--Учебники и учебные пособия

Держатели документа:
Библиотека Института физики им. Л.В. Киренского СО РАН
Экземпляры всего: 1
КФ (1)
Свободны: КФ (1)}
Найти похожие
7.
   Г5
   В 75


    Воронов, Владимир Николаевич.
    Полиморфные превращения и ионная проводимость в кристаллах / В. Н. Воронов. - [Б. м.] : LAP Lambert Academic Publishing, 2013. - 228 с. - Библиогр.: 212 назв. - ISBN 978-3-659-39150-7 : Б. ц.
ГРНТИ
ББК Г522
Рубрики:
Материалы неорганические--Свойства физические
Аннотация: В современных приборах и оборудовании используются керамические и монокристаллические активные элементы. В качестве материала для таких элементов применяют различные неорганические соединения. Набор таких соединений явно недостаточен. Поиск новых составов путем последовательного перебора соединений (скриннинг) дорог и отнимает массу времени. В предлагаемой монографии прогнозируются свойства еще не полученных материалов с ионной проводимостью и структурными фазовыми превращениями основанные на анализе подвижности ионов в кристаллах. Эффективность предложенных поисковых критериев подтверждена синтезом ряда неорганических фторидов и оксидов при значительно меньших затратах времени и средств. В связи с этими обстоятельствами предложенные в настоящей работе поисковые критерии представляет актуальную задачу физики конденсированного состояния. Материалы монографии опубликованы в рецензируемых журналах, а также неоднократно докладывались и обсуждались на многочисленных конференциях и симпозиумах.

https://www.lap-publishing.com/catalog/details//store/gb/book/978-3-659-39150-7/%D0%9F%D0%BE%D0%BB%D0%B8%D0%BC%D0%BE%D1%80%D1%84%D0%BD%D1%8B%D0%B5-%D0%BF%D1%80%D0%B5%D0%B2%D1%80%D0%B0%D1%89%D0%B5%D0%BD%D0%B8%D1%8F-%D0%B8-%D0%B8%D0%BE%D0%BD%D0%BD%D0%B0%D1%8F-%D0%BF%D1%80%D0%BE%D0%B2%D0%BE%D0%B4%D0%B8%D0%BC%D0%BE%D1%81%D1%82%D1%8C-%D0%B2-%D0%BA%D1%80%D0%B8%D1%81%D1%82%D0%B0%D0%BB%D0%BB%D0%B0%D1%85?locale=ru
Держатели документа:
Библиотека Института физики им. Л.В. Киренского СО РАН

Доп.точки доступа:
Voronov, V. N.
Экземпляры всего: 1
РСФ (1)
Свободных экз. нет}
Найти похожие
8.
   Ч8
   Г 15


    Галеева, Ирина Салиховна.
    Путеводитель библиографа по Интернету / И. С. Галеева. - СПб. : Профессия, 2013. - 240 с. - (Библиотека). - ISBN 978-5-91884-047-4 : 350.00 р.
ББК Ч837.62
Рубрики:
Информационный поиск--Обслуживание библиотечное

Держатели документа:
Библиотека Института физики им. Л.В. Киренского СО РАН
Экземпляры всего: 1
КФ (1)
Свободны: КФ (1)}
Найти похожие
9.
   Ч8
   Г 47


    Гиляревский, Руджеро Сергеевич.
    Рубрикатор как инструмент информационной навигации / Р. С. Гиляревский, А. В. Шапкин, В. Н. Белоозеров. - СПб. : Профессия, 2008. - 352 с. - Библиогр.: с. 330-337. - Приложения. - Имен. указ. - -Предм. указ. - 2000 экз. - ISBN 978-5-93913-168-1 : 354.00 р.
Рубрикатор . - [Б. м. : б. и.]
. - [Б. м. : б. и.]
. - [Б. м. : б. и.]
Рубрикатор информационных изданий по физике (в БД IPHJK) . - [Б. м. : б. и.]
Рубрикатор . - [Б. м. : б. и.]
ГРНТИ
ББК Ч836.411
Рубрики:
Информационный поиск--Справочники
   Классификационные схемы--Рубрикаторы--Применение

   Языки информационно-поисковые (ИПЯ)--Справочники


Рубрикатор Рубрикатор, алфавитно-предметный указатель и методика классификации к общесоюзному сводному каталогу зарубежных книг по естественным наукам [Текст] / Гос. ком. СССР по науке и тех., Гос. публ. науч.-техн. б-ка СССР, Акад. наук СССР, Б-ка АН СССР, Б-ка по естеств. наукам, 1984. - 230 с.

Рубрикатор

Рубрикатор

Рубрикатор информационных изданий по физике (в БД IPHJK) Реферативный журнал. - Журнал. 18, Физика, 1988г. Приложение к сводному тому (Введено оглавление)

Рубрикатор Физика. Реферативный журнал [Текст] : приложение к сводному тому. Рубрикатор. Предметный указатель к рубрикатору. Список профильных журналов / Гос. ком. СССР по науке и тех., Акад. наук СССР, Всесоюз. ин-т науч. и техн. информ., 1988. - 116 с.

Держатели документа:
Библиотека Института физики им. Л.В. Киренского СО РАН

Доп.точки доступа:
Шапкин, А. В.; Белоозеров, В. Н.
Экземпляры всего: 1
КФ (1)
Свободны: КФ (1)}
Найти похожие
10.
   Ч8
   Д63


   
    Документальные базы данных: создание и использование : Сб. научных тр. / Отв. ред. Е.Б. Соболева. - Новосибирск : ГПНТБ СО РАН, 2006. - 231 с. - Библиогр. в конце ст. . - ISBN 5-94560-115-2 : 00.00
ГРНТИ
ББК Ч835я43 + Ч836.2я43
Рубрики:
Библиотечное дело--Технологии информационные--Сборники
   Фонд библиотечный--Организация--Технологии информационные--Сборники

   Каталоги библиотечные--Каталоги электронные--Организация работы--Сборники

   Информатика--Информационный поиск--Сборники


Держатели документа:
Библиотека Института физики им. Л.В. Киренского СО РАН
Экземпляры всего: 1
КФ (1)
Свободны: КФ (1)}
Найти похожие
11.
   Ч8
   И 30


    Иениш, Елена Владимировна.
    Библиографический поиск в научной работе : справочное пособие-путеводитель / Е. В. Иениш ; ред.: И. К. Кирпичева, Н. М. Барская ; рец.: Г. В. Бахарева, Е. Б. Соболева. - М. : Книга, 1982. - 247 с. - Библиогр.: 247. - Указ.: с. 221-246. - 12000 экз. - 1.40 р.
ГРНТИ
ББК Ч8376 + Ч252
Рубрики:
Научная деятельность--Информация научная--Информационные технологии
   Научная деятельность--Работа с текстом--Методы--Справочники

   Документы информационные--Справочники

Аннотация: В. Г. Анастасевич (1775–1845) писал: «Разве искусный библиограф не достоин всей нашей благодарности за сбережение … нашего времени, за доставление нам средства, в краткие часы отдохновения, пройти обширное поприще сведений, собранных им под одну точку зрения?» [Шихатов, И. П. Почетные омичи. – Омск, 2006. - с. 228].

Смотреть книгу

Доп.точки доступа:
Кирпичева, Ираида Константиновна \ред.\; Барская, Н. М. \ред.\; Бахарева, Г. В. \рец.\; Соболева, Елена Борисовна \рец.\
Экземпляры всего: 1
КФ (1)
Свободны: КФ (1)}
Найти похожие
12.
   Ч73
   И 74


   
    Информационное обслуживание в библиотеках: электронные библиографические ресурсы : научно-методическое пособие / Н. В. Абакшева, А. Г. Беглик [и др.] ; науч. ред. Е. Д. Жабко ; рец.: Г. Ф. Гордукалова, Ю. Г. Селиванова ; Рос. нац. б-ка, Рос. библиот. ассоц. - СПб. : Рос. нац. б-ка, 2009. - 200 с. + 29 см. - Библиогр.: с. 198-200. - 1500 экз. - ISBN 978-5-8192-0357-6 : 450.00 р.
Авт. указаны на обороте тит. л.
ГРНТИ
ББК Ч735,6(2)272 + Ч751.21
Рубрики:
Информационный поиск--Обслуживание библиотечное

Держатели документа:
Библиотека Института физики им. Л.В. Киренского СО РАН

Доп.точки доступа:
Абакшева, Н. В.; Беглик, А. Г.; Веденяпина, Н. И.; Грузнова, Е. Б.; Жабко, Е. Д.; Жабко, Е. Д. \ред.\; Гордукалова, Галина Феофановна \рец.\; Селиванова, Ю. Г. \рец.\; Российская национальная библиотека; Российская библиотечная ассоциация
Экземпляры всего: 1
КФ (1)
Свободны: КФ (1)}
Найти похожие
13.
   Ч8
   И 74


   
    Информационные ресурсы ГПНТБ СО РАН: базы данных : справочник пользователя / Гос. публ. науч.-техн. б-ка ; сост.: В. Г. Свирюкова, Т. В. Ремизова ; ред.: Е. Б. Соболева, Л. К. Бобров. - Новосибирск : ГПНТБ СО РАН, 1998. - 100 с. - 500 экз. - 4.00 р.
ГРНТИ
ББК Ч837.6 + Ч850.1
Рубрики:
Информационный поиск--Интернет

Держатели документа:
Библиотека Института физики им. Л.В. Киренского СО РАН

Доп.точки доступа:
Свирюкова, Вера Григорьевна \сост.\; Ремизова, Татьяна Владимировна \сост.\; Соболева, Елена Борисовна \ред.\; Бобров, Л. К. \ред.\; Государственная публичная научно-техническая библиотека Сибирского отделения РАН
Экземпляры всего: 1
КФ (1)
Свободны: КФ (1)}
Найти похожие
14.
   Ч8
   И 74


   
    Информационные ресурсы научных библиотек Сибири и Дальнего Востока: базы данных : справочник пользователя / Гос. публ. науч.-техн. б-ка , Регион. объед-ние науч. и спец. биб-к Сибири и Дальнего Вост. ; сост. В. Г. Свирюкова ; отв. ред. Е. Б. Соболева. - Новосибирск : ГПНТБ СО РАН, 1998. - 100 с. - 500 экз. - 4.00 р.
ГРНТИ
ББК Ч837.6 + Ч850.1
Рубрики:
Информационный поиск--Интернет

Держатели документа:
Библиотека Института физики им. Л.В. Киренского СО РАН

Доп.точки доступа:
Свирюкова, Вера Григорьевна \сост.\; Соболева, Елена Борисовна \отв. ред.\; Государственная публичная научно-техническая библиотека Сибирского отделения РАН; Региональное объединение научных и специальных библиотек Сибири и Дальнего Востока
Экземпляры всего: 1
КФ (1)
Свободны: КФ (1)}
Найти похожие
15.
   Ч8
   И 74


   
    Информационные ресурсы научных библиотек Сибири и Дальнего Востока: базы данных : справочник пользователя / Гос. публ. науч.-техн. б-ка , Регион. объед-ние науч. и спец. биб-к Сибири и Дальнего Вост. ; сост. В. Г. Свирюкова ; отв. ред. Е. Б. Соболева. - 2-е изд., перераб. и доп. - Новосибирск : ГПНТБ СО РАН, 2002. - 110 с. - 300 экз. - Б. ц.
ГРНТИ
ББК Ч837.6 + Ч850.1
Рубрики:
Информационный поиск--Интернет

Держатели документа:
Библиотека Института физики им. Л.В. Киренского СО РАН

Доп.точки доступа:
Свирюкова, Вера Григорьевна \сост.\; Соболева, Елена Борисовна \отв. ред.\; Государственная публичная научно-техническая библиотека Сибирского отделения РАН; Региональное объединение научных и специальных библиотек Сибири и Дальнего Востока
Экземпляры всего: 1
КФ (1)
Свободны: КФ (1)}
Найти похожие
16.
   Е
   К 32


   
    Квантовые аспекты функционирования биологических структур : монография / под ред. Д. Эбботта, П. Дэвиса, А. Пати ; пер. с англ. А. Д. Калашникова. - Долгопрудный : Интеллект, 2014. - 317 с. : ил. - Библиогр.: с. 296-317. - Пер. изд. : Quantum aspects of life. - ISBN 978-5-91559-100-3 : 990.00 р.
    Содержание:
Дэвис, П. Квантовое происхождение жизни? / П. Дэвис
Химия и информация
Q-жизнь
Проблема декогерентности
Жизнь как "решение" квантового алгоритма поиска
Квантовая хореография
Благодарности
Ллойд, Стивен. Квантовая механика и возникновение сложности / С. Ллойд
Биты
Перевороты монеты
Вычислительная вселенная
Порождение сложности
Человеческая перспектива
Квантовая перспектива
Джим, Аль-Халили. Квантовая когерентность и поиск первого репликатора / Аль-Халили Джим
Когда началась жизнь?
Где началась жизнь?
Откуда взялись биомолекулы?
Какова природа самого первого саморепликатора?
Гипотеза РНК-мира
Квантово-механическое происхождение жизни
Динамическая комбинаторная библиотека
Модель двойной потенциальной ямы
Хамерофф, С. Геометрия электронных облаков и жизнь / С. Хамерофф
Декогеренция
Репликация
Обход декогеренции
Ботма, Ж. Моделирование квантовой декогеренции в биомолекулах / Ж. Ботма
Масштабы времен и энергий
Модели квантовых термостатов и декогеренции
Спин-бозонная модель
Модель независимых бозонов
Гамильтониан Калдейры - Леггетта
Спектральная плотность
Спектральная плотность в различных непрерывных моделях окружения
Получение спектральной плотности по экспериментальным данным
Аналитическое решение для временной эволюции матрицы плотности
Ядерное квантовое туннелирование в ферментах и критическая температура
Выводы
Гоэль, А. Молекулярная эволюция : роль квантовой механики в динамике молекулярных машин, которые считают и записывают ДНК / А. Гоэль
История вопроса
Подход
Мощность молекулярного мотора, обрабатывающего информацию
Оценка времени декогеренции комплекса мотор-ДНК
Деметриус, Л. Квантовый метаболизм и аллометрические скейлинговые соотношения в биологии / Л. Деметриус
Квантовый метаболизм: история вопроса
Квантование излучения осцилляторов
Квантование материальных осцилляторов
Квантование молекулярных осцилляторов
Аналогия материальные осцилляторы - молекулярные осцилляторы
Метаболическая энергия и время цикла
Средняя энергия
Полная метаболическая энергия
Скейлинговые соотношения
Уровень метаболизма и размеры клетки
Уровень метаболизма и масса тела
Эмперические рассуждения
Показатель степени скейлингового закона
Коэффициент пропорциональности
Башфорд, Д. Спектроскопия генетического кода / Д. Башфорд
Основы: систематика генетического кода
РНК-трансляция
Природа кода
Обработка информации и код
Симметрии и суперсимметрии генетического кода
Модель sl(6/1): схема UA+ S
Модель sl(6/1): схема 3СН
Дробление динамических симметрий и неоднозначность третьего основания
Визуализация генетичеcкого кода
Квантовые аспекты распознавания кодонов
Конформационная симметрия (34)
Дробление динамической симметрии и неоднозначность третьего основания
Выводы
Благодарности
Пател, Д. А. К пониманию происхождения генетических языков / Д. А. Пател
Общий смысл
Генетические языки
К пониманию белков
К пониманию ДНК
Что было до оптимальных языков?
Сыграла ли свою роль квантовая механика?
Перспективы
Флитни, П. А. Полуквантовая версия игры "Жизнь" / П. А. Флитни
Основы мотивация
Классические клеточные автоматы
Квантовые клеточные автоматы
Полуквантовая игра "Жизнь"
Идея
Модель первого приближения
Полуквантовая модель
Обсуждение
Выводы
Икбаль, А. Эволюционная устойчивость в квантовых играх / А. Икбаль
Эволюционная теория игр и эволюционная устойчивость
Популяционный метод эволюционной теории игр
Квантовые игры
Эволюционная устойчивость в квантовых играх
Эволюционная устойчивость в схеме EWL
Эволюционная устойчивость и перепутанность
Эволюционная устойчивость в схеме MW-квантования
Асимметричные игры 2х2
Симметричные игры 2х2
Симметричные игры 2х2х2
Игра камень - ножницы - бумага
Хамерофф, С. Что такое живое? / С. Хамерофф
Протоплазма: вода, гели и жесткие структуры вне полярных областей
Силы Ван-дер-Ваальса
Сон Кекуле и π-электронный резонанс
Белки - двигатели жизни
Анестезия и сознание
Цитоскелетная геометрия: микротрубочки, реснички и жгутики
Декогеренция
Выводы
Благодарности
ГРНТИ
ББК Е07


Держатели документа:
Библиотека Института физики им. Л.В. Киренского СО РАН
Доп.точки доступа:
Эбботт, Дерек \ред.\; Дэвис, Пол \ред.\; Пати, Арун \ред.\; Калашников, А. Д. \пер.\
Экземпляры всего: 1
КФ (1)
Свободных экз. нет}
Найти похожие
17.
   В38
   К 47


    Клапдор-Клайнгротхаус, Ганс Волкер.
    Неускорительная физика элементарных частиц : пер. с нем. / Г. В. Клапдор-Клайнгротхаус, А. Штаудт ; пер. В. А. Бедняков. - М. : Наука : Физматлит, 1997. - 528 с. : фот. - Библиогр.: с. 480-510. - Пер. изд. : Teilchenphysik ohne Deschleuniger / Hans Volker Klapdor-Kleingrothaus, Andreas Staudt. - 1000 экз. - ISBN 5-02-015092-4 : 35.00 р.
    Содержание:
Современная теория элементарных частиц
Физика элементарных частиц на ускорителях
Ранняя Вселенная и физика элементарных частиц
Распад протона
Нейтрон-антинейронные осцилляции и электрический дипольный момент нейтрона
Экспериментальное определение массы нейтрино
Нейтринные осцилляции
Магнитные монополи
Поиск темной материи во Вселенной
Частицы с дробным зарядом
Пятая сила: теоретические ожидания и экспериментальный статус
Зависимость фундаментальных констант от времени
ГРНТИ
ББК В382.1
Рубрики:
Частицы элементарные--Физика

Держатели документа:
Библиотека Института физики им. Л.В. Киренского СО РАН

Доп.точки доступа:
Штаудт, Андреас; Бедняков, В. А. \пер.\; Klapdor-Kleingrothaus, Hans Volker; Staudt, Andreas
Экземпляры всего: 1
КФ (1)
Свободны: КФ (1)}
Найти похожие
18.
   З97
   К 53


   Кнут, Дональд Эрвин

    Искусство программирования [Текст] : учеб. пособие : пер. с англ. / Д. Э. Кнут ; под общ ред. Ю. В. Козаченко. - 3-е изд. - М. : Вильямс, 2000. - (Классический труд).
   Т. 3 : Сортировка и поиск / [пер.: В. Т. Тертышный, И. В. Красиков]. - 2000. - 822 с. : ил. - Предм.-имен. указ.: с. 804-822. - Пер. изд. : The art of computer programming. Sorting and Searching. - 5000 экз. - ISBN 5-8459-0082-4 : 420.00 р.
    Содержание:
Сортировка . - С .19-424
Поиск . - С .425-622
Таблицы значений некоторых констант . - С .794-797
ГРНТИ
ББК З973я7я41 + В185я7я41


Держатели документа:
Библиотека Института физики им. Л.В. Киренского СО РАН
Доп.точки доступа:
Козаченко, Ю. В. \ред.\; Тертышный, В. Т. \пер.\; Красиков, И. В. \пер.\
Экземпляры всего: 1
КФ (1)
Свободны: КФ (1)}
Найти похожие
19.
   З97
   Л 69


   
    Логика и компьютер: Моделирование рассуждений и проверка правильности программ / Н. А. Алешина, А. М. Анисов, П. И. Быстров и др. - М. : Наука, 1990. - 239 с. : рис. - (Кибернетика - неограниченные возможности и возможные ограничения / Акад. наук СССР). - Библиогр.: с. 231 - 235 (52 назв.). - 50000 экз. - ISBN 5-02-007156-0 : 0.65 р.
    Содержание:
Классическая первопорядковая логика
Логика в программировании
О доказательствах правильности программ
Поиск доказательств
Приложение логики к проблемам искусственного интеллекта
ГРНТИ
ББК З973.2

Аннотация: Логика является одним из важнейших источников информатики и вычислительной техники. Впервые в отечественной литературе для широкого круга читателей детально анализируются логические предпосылки информатики, показывается ключевая роль логики в программировании, в разработке экспертных систем, в исследовании искусственного интеллекта, во внедрении современных информационных технологий. Для читателей, интересующихся перспективами современной компьютерной технологией, в особенности для тех, кто изучает и преподает информатику

Держатели документа:
Библиотека Института физики им. Л.В. Киренского СО РАН

Доп.точки доступа:
Алешина, Наталья Альбертовна; Анисов, Александр Михайлович; Быстров, Петр Иванович; Герасимова, И. А.; Меськов, В. С.; Непейвода, Николай Николаевич; Смирнов, В. А.; Стеблецова, В. Н.; Шалак, В. И.; Академия наук СССР
Экземпляры всего: 1
КФ (1)
Свободны: КФ (1)}
Найти похожие
20.
   Ч8
   М 23


    Маннинг, Кристофер Д..
    Введение в информационный поиск : пер. с англ. / К. Д. Маннинг, П. Рагхаван, Х. Шютце ; пер. Д. А. Клюшин ; ред. пер.: П. И. Браславский, Д. А. Клюшин, И. В. Сегалович ; науч. конс. И. В. Сегалович. - М. ; СПб. ; Киев : Вильямс, 2011. - 520 с. + 24 см. - Библиогр.: с. 473-505 - Предм. указ. - Пер. изд. : Introduction to information retrieval / Christopher D. Manning, Prabhakar Raghavan, Hinrich Schutze. - 2008. - 1000 экз. - ISBN 978-5-8459-1623-5 : 1662.00 р.
    Содержание:
Булев поиск
Лексикон и списки словопозиций
Словари и нечеткий поиск
Построение индекса
Сжатие индекса
Ранжирование, взвешивание терминов и модель векторного пространства
Оценка информационного поиска
Обратная связь по релевантности и расширение запроса
XML-поиск
Вероятностная модель информационного поиска
Языковые модели для информационного поиска
Классификация терминов и наивный байесовский подход
Классификация в векторном пространстве
Метод опорных векторов и машинное обучение на документах
Плоская кластеризация
Иерархическая кластеризация
Разложение матриц и латентно-семантическое индексирование
Основы поиска в вебе
Обход и индексирование веба
Анализ ссылок
ГРНТИ
ББК Ч837.62
Рубрики:
Информационный поиск--Интернет

Держатели документа:
Библиотека Института физики им. Л.В. Киренского СО РАН

Доп.точки доступа:
Рагхаван, Прабхакар; Шютце, Хайнрих; Клюшин, Д. А. \пер.\; Браславский, П. И. \ред. пер.\; Клюшин, Д. А. \ред. пер.\; Сегалович, И. В. \ред. пер.\; Сегалович, И. В. \науч. конс.\; Manning, Christopher D. ; Raghavan, Prabhakar; Schutze, Hinrich
Экземпляры всего: 1
КФ (1)
Свободны: КФ (1)}
Найти похожие
 

Другие библиотеки

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)