Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


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

Вид поиска
БД "Книги"
БД "Статьи"
Труды АМГУ
Выпускные квалификационные работы
Антитеррор
Область поиска
 Найдено в других БД:БД "Статьи" (4)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=классическая логика<.>)
Общее количество найденных документов : 5
Показаны документы с 1 по 5
1.
   22.12
   Н72

    Новак, Вилем.
    Математические принципы нечеткой логики [Текст] / В. Новак, И. Перфильева, И. Мочкорж ; пер. с англ., под ред. А. Н. Аверкина. - М. : Физматлит, 2006. - 348 с. - Библиогр.: с. 335. - Предм. указ.: с. 344. - ISBN 5-9221-0399-7 (в пер.) : 233.38 р.
ББК 22.12
Рубрики: Математическая логика
Кл.слова (ненормированные):
нечеткая логика -- булева алгебра -- логическое исчисление -- классическая логика -- логика предикатов -- функции нечеткой логики


Доп.точки доступа:
Перфильева, И.; Мочкорж, И.; Аверкин, А.Н. \пер. с англ., ред.\
Экземпляры всего: 2
ч.з. (1), аб. (1)
Свободны: ч.з. (1), аб. (1)
Найти похожие
2.
   87.4
   Г44

    Гетманова, Александра Денисовна.
    Логика. Углубленный курс [Текст] : учеб. пособие: рек. УМО / А. Д. Гетманова. - М. : КноРус, 2007. - 192 с. : рис., табл. - ISBN 978-5-85971-778-1 : 125.00 р.
Словарь: с. 170
ББК 87.4я73
Рубрики: Логика
Кл.слова (ненормированные):
логика, предмет -- логика и язык -- логические формы мышления -- законы правильного мышления -- логические основы теории аргументации -- теория аргументации логические основы -- логика этапы развития -- гипотеза -- логика, единство и многообразие -- логические системы -- математическая логика -- классическая логика -- интуиционистская логика -- конструктивная логика -- многозначные логики -- паранепротиворечивые логики -- логика теоретическое значение -- логика практическое значение

Экземпляры всего: 10
ч.з. (3), аб. (7)
Свободны: ч.з. (3), аб. (7)
Найти похожие
3.
   87.4
   К93

    Курбатов, Владимир Иванович.
    Логика для юристов [Текст] : учеб. пособие / В.И. Курбатов. - М. : Дашков и К ; Ростов н/Д : Наука и Пресс, 2009. - 480 с. - Библиогр. : с. 474. - ISBN 978-5-394-00227-4 (в пер.) : 287.28 р.
ББК 87.4я73
Рубрики: Логика
Кл.слова (ненормированные):
история логики -- логика Аристотеля -- логика Канта -- логика Гегеля -- корректное мышление -- законы мышления -- традиционная логика -- логическая теория понятия -- гипотеза -- классическая логика -- логическое следование -- неклассическая логика -- аргументация -- искусство судебного оратора -- доказательство в правовом процессе -- процесс доказывания -- риторика и право -- риторика античная -- практическая логика
Аннотация: В соответствии с Государственным образовательным стандартом в учебном пособии рассматриваются история логических идей от античности до современности, теоретическая логика, традиционная, классическая и неклассическая (модальная) логика, практическая логика в правовом дискурсе (теория и практика аргументации, риторика и ораторское искусство, искусство судебного оратора, доказательство в правовом процессе), предлагаются контрольные вопросы, упражнения, задачи и литература. Основные логические закономерности иллюстрированы различными примерами из области права, правовыми прецедентами и казусами.

Экземпляры всего: 1
ч.з. (1)
Свободны: ч.з. (1)
Найти похожие
4.
   22.12
   Г97

    Гуц, Александр Константинович.
    Математическая логика и теория алгоритмов [Текст] : [учеб. пособие] / А.К. Гуц. - 2-е изд., доп. - М. : ЛИБРОКОМ, 2009. - 117 с. - Библиогр. : с. 114. - ISBN 978-5-397-00056-7 :
ББК 22.12я73
Рубрики: Математика
   Математическая логика
Кл.слова (ненормированные):
классическая логика -- логика высказываний -- законы логики -- алгебра Буля -- логическое следствие -- силлогизмы -- логика предикатов -- формальные теории -- неклассические логики -- нечеткая логика -- алгоритмы -- алгоритмические логики -- временные логики -- сложность алгоритмов -- алгоритмы реальности
Аннотация: Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, логики Васильева и Лукасевича. Даются представления о частично рекурсивных функциях, машине Тьюринга - Поста, нормальных алгоритмах Маркова и о сложности алгоритмов. Для студентов, обучающихся по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети".

Держатели документа:
БД Книги КО ч.з.
Свободных экз. нет
Найти похожие
5.
   87.4
   С 44

    Сковиков, Алексей Константинович.
    Логика [Текст] : учеб. и практикум для бакалавров : рек. Мин. обр. РФ / А. К. Сковиков. - М. : Юрайт, 2013. - 576 с. - (Бакалавр. Базовый курс). - Библиогр. : с. 395 . - ISBN 978-5-9916-2194-6 (в пер.) : 372.30 р.
Прил. : с. 398
ББК 87.4я73
Рубрики: Логика
Кл.слова (ненормированные):
логика, предмет -- логика и язык -- понятие как форма мысли -- логические операции -- суждение -- модальность суждений -- логика вопросов и ответов -- умозаключение -- дедуктивные умозаключения -- индуктивные умозаключения -- умозаключение по аналогии -- аргументация -- классическая логика -- гипотеза

Экземпляры всего: 10
ч.з. (3), аб. (7)
Свободны: ч.з. (3), аб. (7)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика
за 04.09.2024
Число запросов 44162
Число посетителей 1
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)