Сводный каталог книг

w10=
Найдено документов в текущей БД: 8
   Ч21
   А65
Ч21 / А65-ИВМ-ЧЗ
Ч214 / А65-ЦНБ-АБ

    Основы научной работы и оформление результатов научной деятельности
: В помощь написания диссертации и рефератов. / Г.И. Андреев; С.А. Смирнов, В.А. Тихомиров. - М. : Финансы и статистика, 2003. - 269 с. - Библиогр.: с.262-267 . - 2000 экз. - ISBN 5-279-02517-8 : 129.00 р., 119.00 р.
ГРНТИ
УДК
ББК Ч216(2)243 + Ч215.78я73 + Ч214


Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Центральная научная библиотека КНЦ СО РАН : 660036, г. Красноярск, Академгородок, 50

Доп.точки доступа:
Смирнов, Сергей Анатольевич; Тихомиров, Валерий Александрович
Экземпляры всего: 3
ИФ-КФ (1), ИВМ-ЧЗ (1), ЦНБ-АБ (1)
Свободны: ИФ-КФ (1), ИВМ-ЧЗ (1), ЦНБ-АБ (1)
   В1
   Л694

Логические исследования   Вып. 10
[Текст] / Ин-т философии РАН. - Москва : Наука, 1993 - . - 2003. - 311 с. - Библиогр. в конце ст. - ISBN 5-02-006257-X : 123.50 р.
УДК
ББК В1

Аннотация: В юбилейном 10-м выпуске "Логических исследований" опубликованы статьи, в которых изложены новые результаты, полученные в различных областях современной логики, а также статьи, подготовленные по пленарным докладам, прочитанным на 4 Международной конференции "Смирновские чтения" (Москва, май 2003), Здесь же опубликован библиографический указатель (на русском и английском языках) работ, изданных с 1993 по 2003 г. включительно. Сборник предназначен для всех интересующихся логикой и ее приложениями в различных научных дисциплинах.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)
   Ч22
   Б930
Ч215 / Б930-ИХХТ-АБ
Ч215 / Б930-ИХХТ-АБ

    Исследование. Шестнадцать уроков для начинающих авторов
[Текст] / У.К. Бут; Пер. с англ. А. Станиславского. - Москва : Флинта ; Москва : Наука, 2004. - 360 с. : ил. - ISBN 5-89349-555-1. - ISBN 978-5-89349-555-1. - ISBN 978-5-02-032570-8 : 141.00 р., 141.00 р.
ГРНТИ
УДК
ББК Ч215.3

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

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Коломб, Грегори; Уильямс, Джозеф
Экземпляры всего: 3
ИВМ-ЧЗ (1), ИХХТ-АБ (2)
Свободны: ИВМ-ЧЗ (1), ИХХТ-АБ (2)
   З-81
   Д706

    Достоверный и правдоподобный вывод в интеллектуальных системах
[Текст] : монография / Под ред. В.Н. Вагина, Д.А. Поспелова. - Москва : Физматлит, 2004. - 704 с. : ил. - Предм. указ.: с. 661-699. - ISBN 5-9221-0474-8 : 100.00 р.
ББК З-81

Аннотация: Рассматриваются методы достоверного (дедуктивного) и правдоподобного (абдуктивного, индуктивного) выводов в интеллектуальных системах различного назначения. Приводятся методы дедуктивного вывода на графовых структурах: вывод на графе связей, графе дизъюнктов, вывод на иерархических структурах. Даются различные виды параллелизма при выводе на графовых структурах. Описываются как классические, так и немонотонные модальные логики: логики убеждения и знания, немонотонные логики Мак-Дермотта и Дойла, автоэпистемические логики Мура, логики умолчания Рейтера. Приводятся основы теории аргументации и методы абдуктивного вывода. Рассматриваются базовые принципы построения систем обучения и принятия решений и даются задачи обучения "без учителя" и "с учителем". Излагаются индуктивные методы для случая с неполной информацией и методы теории приближенных множеств. Для студентов, аспирантов, обучающихся по направлениям "Прикладная математика и информатика", "Информатика и вычислительная техника" и специальностям "Прикладная математика" (по областям), "Прикладная математика и информатика", а также для специалистов в области искусственного интеллекта, интеллектуальных систем управления и принятия решений.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Вагин, Вадим Николаевич; Головина, Елена Юрьевна; Загорянская, Анастасия Анатольевна; Фомина, Марина Владимировна
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)
Ю4
М95

    Мысль и искусство аргументации
[Текст] : сборник научных трудов / Ин-т философии РАН ; отв.ред. И. А. Герасимова. - М. : Прогресс-Традиция, 2003. - 396 с. - ISBN 5-89826-144-3 : 98.00 р.
ГРНТИ
ББК Ю4


Держатели документа:
Центральная научная библиотека КНЦ СО РАН : 660036, г. Красноярск, Академгородок, 50

Доп.точки доступа:
Герасимова, И.А. \отв.ред.\; Ин-т философии РАН
Экземпляры всего: 1
ЦНБ-АБ (1)
Свободны: ЦНБ-АБ (1)
   З 813
   Д 70

    Достоверный и правдоподобный вывод в интеллектуальных системах
[Текст] : учебное пособие / В. Н. Вагин [и др.] ; под ред. В. Н. Вагина, Д. А. Поспелова. - Изд. 2-е, испр. и доп. - Москва : ФИЗМАТЛИТ, 2008. - 712 с. ; 22 . - Предм. указ.: с. 679-710. - Библиогр.: с. 648-678. - 1500 экз. - ISBN 978-5-9221-0962-8 (в пер.) : 815.00 р.
Допущено Министерством образования Российской Федерации в качестве учебного пособие для вузов по специальностям "Прикладнаяматематика и информатика", "Информатика и вычислительная техника" и специальностям "Прикладная информатика" (по направлениям) и "Прикладная математика и информатиака"
ГРНТИ
УДК
ББК З 813я73
Рубрики:
Искусственный интеллект
Кл.слова (ненормированные):
Интеллектуальные системы -- Вычислительная математика -- Формальные системы -- Автоматическое доказательство теорм -- Графа связей -- Метод OR-параллельной резолюции -- Принцип резолюции -- DCDP-параллельный вывод -- AND-параллельная резолюция -- LSD- резолюция -- Вывод Эрбрана -- Язык Пролог -- Эвристическая функция -- Математический препроцессор -- Графа дизъюнктов -- Аналитические таблицы -- Иерархические структуры -- Аргументация -- Абдукция -- Интеллектуальные системы -- Монотонные классические модальные логики -- Система S1 -- Система S4 -- Система S5 -- Семантика возможных миров Крипке -- Миры Крипке -- Логики убеждения -- Логики знания -- Немонотонные логики Мак - Дермотта и Дойла -- Автоэптимистические логики -- Логики умолчаний -- Системы поддержки истинности -- Логическое программирование -- Структурно - логические методы обобщения -- Пороговое расстояние -- Алгоритм MAXMIN -- Алгоритм "К средних" -- Алгоритм ДРЕВ -- Алгоритм IDTUV -- Тестовый набор данных -- Случай неполной информации -- Перекрестная проверка -- Обучающие выборки -- "Зашумленные" базы данных -- Индуктивные методы

Аннотация: Рассмотрены методы достоверного (дедуктивного) и правдоподобного (абдуктивного, индуктивного) выводов в интеллектуальных системах разнообразного назначения. Приведены методы дедуктивного вывода на графовых структурах. Описаны как традиционные, так и немонотонные модальные логики: логики убеждения и знания, немонотонные логики Мак-Дермотта и Дойла, автоэпистемические логики Мура, логики умолчания Рейтера. Приведены основы теории аргументации и методы абдуктивного вывода. Рассмотрены основные особенности построения систем обучения и принятия решений и предоставляются задания обучения "без учителя" и "с учителем". Изложены индуктивные методы для случая с неполной информацией и методы теории приближенных множеств. Во 2-е издание добавлены главы об исчислении изречений и об исчислении предикатов первого порядка, а также о работе с реальными "зашумленными" базами данных в задаче индуктивного формирования понятий.


Доп.точки доступа:
Вагин, Вадим Николаевич; Головина, Елена Юрьевна; Загорянская, Анастасия Анатольевна; Фомина, Марина Владимировна; Вагин, Вадим Николаевич \ред.\; Поспелов, Д. А. \ред.\
Экземпляры всего: 1
ЦНБ-АБ (1)
Свободны: ЦНБ-АБ (1)
597
Д 38

    Температурно-временные закономерности развития пойкилотермных животных
[Текст] : монография / Т.А. Детлаф; Отв. ред. С. Г. Васецкий ; РАН, Ин-т биологии развития им. Н.К. Кольцова. - М. : Наука, 2001. - 211 с. : илл. + таб. - Библиогр: В конце книги. - 300 экз. - 43.50 р.
УДК

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

Экземпляры всего: 1
ИЛ-Фонд (1)
Свободны: ИЛ-Фонд (1)
03
А65

    Основы научной работы и оформление результатов научной деятельности
[Текст] : учебное пособие / Г.И. Андреев, С.А. Смирнов, В.А. Тихомиров. - М. : Финансы и статистика, 2003. - 272 с. : ил. - 2000 экз. - ISBN 5-279-02517-8 : 129.00 р.
Возможно то же самое издание . - [Б. м. : б. и.]
. - [Б. м. : б. и.]
. - [Б. м. : б. и.]
УДК

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


Доп.точки доступа:
Смирнов, С.А.; Тихомиров, В.А.
Экземпляры всего: 1
ИЛ-Фонд (1)
Свободны: ИЛ-Фонд (1)