Библиотека Амурского Государственного Университета

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

БД "Статьи" - результаты поиска

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

Выпускные квалификационные работы

Антитеррор

Область поиска

в найденном

Найдено в других БД:

БД "Книги" (47)

Труды АМГУ (2)

Выпускные квалификационные работы (1)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=доказательство<.>)

Общее количество найденных документов : 120
Показаны документы с 1 по 10

1-10 11-20 21-30 31-40 41-50 51-60

Клещев, Александр Сергеевич (доктор физико-математических наук; главный научный сотрудник).
Операционная модель интуитивных доказательств [Текст] / А. С. Клещев ; ст. представлена к публ. С. Н. Васильевым // Проблемы управления. - 2011. - N 1. - С. 2-7. - Библиогр.: с. 7 (13 назв.) . - ISSN 1819-3161

УДК

^A621.398

^A519.7

ББК 32.96 + 22.18
Рубрики: Радиоэлектроника
   Автоматика и телемеханика
   Математика
   Математическая кибернетика

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

Доп.точки доступа:
Васильев, С. Н. (член редколлегии; академик РАН) \.\

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Глинская, Ольга Сергеевна (к.э.н., доцент).
Методы сбора аудиторских доказательств при аудите финансовых прогнозов [Текст] / О. С. Глинская ; рец. Р. В. Калиничевой // Аудит и финансовый анализ. - 2009. - N 5. - С. 266-272 : 2 табл. - Библиогр.: с. 272 (7 назв.) . - ISSN 0236-2988

УДК

^A657.6

ББК 65.052.8
Рубрики: Экономика
Аудит

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

Доп.точки доступа:
Калиничева, Р. В. (д.э.н., профессор) \.\

Имеются экземпляры в отделах: всего 1 : эк. (1)
Свободны: эк. (1)

Найти похожие

Клещев, Александр Сергеевич (д-р физ.-мат. наук; зав. отделом).
Концепция банка математических знаний для научных исследований. [Текст]. Ч. 2. Интерактивное формирование интуитивных доказательств / А. С. Клещев ; ст. представлена к публ. О. П. Кузнецовым // Проблемы управления. - 2008. - N 5. - С. 26-30. - Библиогр.: с. 30 (2 назв.) . - ISSN 1819-3161

УДК

^A519.7

^A681.3:62-52

ББК 22.18 + 30.6-5-05
Рубрики: Математика
   Математическая кибернетика
   Техника
   Автоматизация оборудования

Кл.слова (ненормированные):
интуитивные доказательства -- модель интуитивного доказательства -- целевое утверждение -- научные исследования -- структурное доказательство -- модульное доказательство -- банки знаний -- банк математических знаний -- БМЗ -- системные процессы -- интеграторы
Аннотация: Статья завершает цикл из двух статей, посвященных концепции системы компьютерной поддержки научной деятельности в области математики. Приведены модель интуитивного доказательства, требования к средствам поддержки исследователей и интеграторов знаний, а также к системным процессам.

Доп.точки доступа:
Кузнецов, О. П. (член редколлегии) \.\

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Черемушкин, Сергей Васильевич.
Логическое и математическое доказательство ошибочности представления об имплицитном допущении о реинвестировании промежуточных денежных потоков в формуле дисконтирования денежных потоков и внутренней ставки доходности [Текст] / С. В. Черемушкин ; рец. А. Г. Пеункова // Аудит и финансовый анализ. - 2012. - № 3. - С. 366-376 : 3 рис. - Библиогр.: с. 375-376. - Рец. Пеункова А.Г. на ст. автора приведена в конце . - ISSN 0236-2988

УДК

^A336.7

ББК 65.262
Рубрики: Экономика
Кредитно-денежная система

Кл.слова (ненормированные):
доходы -- денежные потоки -- реинвестирование -- корпоративные финансы -- инвестиционные проекты
Аннотация: В статье автор представляет новые аргументы об ошибочности представления о существовании допущения о реинвестировании в формулах дисконтирования денежных потоков PV и внутренней ставки доходности IRR.

Доп.точки доступа:
Пеунков, А. Г. (кандидат экономических наук) \.\

Имеются экземпляры в отделах: всего 1 : эк. (1)
Свободны: эк. (1)

Найти похожие

Степанюгин, Константин Викторович.
Онтологическое доказательство бытия Сверхсущего в истории европейской и русской философии [Текст] / К. В. Степанюгин // Религиоведение. - 2007. - N 3. - С. . 121-127. - Библиогр. в примеч.

УДК

^a21

^a1(091)

ББК 86.2 + 87.3
Рубрики: Религия--Религиоведение
Философия--История философии
Кл.слова (ненормированные):
философия религии -- история европейской философии -- история немецкой философии -- история русской философии -- Сверхсущий -- Бог -- бытие Бога -- идея Бога
Аннотация: Рассматривается онтологическая аргументация бытия Сверхсущего и ее критика в европейской и русской философии.

Доп.точки доступа:
Спиноза, Бенедикт \б.\; Декарт, Рене \р.\; Ансельм, Кентерберийский (архиепископ); Кант, Иммануил \и.\; Кудрявцев-Платонов, Виктор Дмитриевич

Имеются экземпляры в отделах: всего 10 : аб. (8), н.з. (1), ч.з. (1)
Свободны: аб. (8), н.з. (1), ч.з. (1)

Найти похожие

Бухбиндер, А.
Загадочная история Григория Перельмана [Текст] / А. Бухбиндер // Знание-сила. - 2007. - N 5. - С. 95-105

УДК

^a51(09)

ББК 22.1г
Рубрики: Математика--История математики
Кл.слова (ненормированные):
математики -- топология -- теоремы -- гипотеза Пуанкаре -- доказательство теоремы
Аннотация: О российском математике Григории Перельмане, который доказал "гипотезу Пуанкаре".

Доп.точки доступа:
Перельман, Григорий (математик) \г.\; Гамильтон, Ричард (математик) \р.\; Яу, Чэнь Тун (математик)

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Труфанова, Татьяна Вениаминовна (канд. техн. наук; доц.; зав. каф. МАиМ).
Доказательство сходимости решения уравнения класса Фукса третьего порядка в области особой точки [Текст] / Т. В. Труфанова, Е. М. Веселова, Е. В. Попова // Вестник Амурского государственного университета. - 2008. - Вып. 43 : Естеств. и экон. науки. - С. 16-18. - Библиогр.: с. 18 (2 назв.) . - ISSN XXXX-XXXX

УДК

^A517.9

ББК 22.161.6
Рубрики: Математика
Дифференциальные и интегральные уравнения

Кл.слова (ненормированные):
линейные уравнения -- неравенства -- уравнения Фукса -- Фукса уравнения -- интегралы -- область особой точки -- теория мажорантных функций
Аннотация: Объектом исследования данной работы являются линейные уравнения третьего порядка, коэффициенты которых - аналитические функции комплексного переменного.

Доп.точки доступа:
Веселова, Елена Михайловна (ст. преподаватель); Попова, Елена Витальевна (студентка Амурского гос. ун-та)

Имеются экземпляры в отделах: всего 5 : аб. (2), н.з. (1), эн.ф. (1), ч.з. (1)
Свободны: аб. (2), н.з. (1), эн.ф. (1), ч.з. (1)

Найти похожие

Маркелов, Александр (кандидат юридических наук; доцент; начальник кафедры криминалистики).
Объяснение как доказательство в уголовном судопроизводстве [Текст] / А. Маркелов // Уголовный процесс. - 2014. - № 1. - С. 35-39 . - ISSN 0032-2717

УДК

^a343.13

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

Доп.точки доступа:
Уголовно-процессуальный кодекс РФ

Имеются экземпляры в отделах: всего 1 : к.п. (1)
Свободны: к.п. (1)

Найти похожие

Доля, Евгений Афанасьевич.
Формирование и реализация метода доказывания при производстве по уголовным делам [Текст] / Е. А. Доля // Законность. - 2013. - № 5. - С. 44-50. - Библиогр.: с. 76 (14 назв.) . - ISSN 0869-4486

УДК

^a343.13

ББК 67.410.2
Рубрики: Право
Уголовное процессуальное право
Кл.слова (ненормированные):
доказывание -- метод доказывания -- доказательство -- уголовные дела
Аннотация: Решение задач, стоящих перед органами расследования и судами в уголовном судопроизводстве, связано главным образом с установлением обстоятельств, подлежащих доказыванию. В связи с этим особую актуальность приобретает проблема формирования и реализации метода доказывания - оптимального способа установления названных обстоятельств.

Имеются экземпляры в отделах: всего 1 : к.п. (1)
Свободны: к.п. (1)

Найти похожие

10.

Смирнов, С. В.
Участие тиреоидных гормонов в скелетогенезе Xenopus Laevis (Amphibia; Anura) и дополнительные источники эндогенных гормонов в организме шворцевой лягушки: экспериментальное доказательство [Текст] / С. В. Смирнов, А. Б. Васильева // Доклады Академии наук. - 2014. - Т. 455, № 5, апрель. - С. 610-613. - Библиогр. : с. 612-613 (15 назв.) . - ISSN 0869-5652

УДК

^a59

ББК 28.6
Рубрики: Биология
Зоология в целом
Кл.слова (ненормированные):
земноводные -- скелетогенезы -- тиреоидные гормоны -- шпорцевые лягушки -- щитовидная железа -- эндогенные гормоны -- эндокринологические исследования
Аннотация: Тиреоидные гормоны являются основным регулятором метаморфизма, вызывающим скоординированные изменения в морфологии, физиологии и поведении.

Доп.точки доступа:
Васильева, А. Б.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

1-10 11-20 21-30 31-40 41-50 51-60

Тематический навигатор

Статистика за 04.07.2024
Число запросов	103608
Число посетителей	1
Число заказов	0

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