Normal view
MARC view
Математическая логика и теория алгоритмов [учебное пособие для вузов по специальности "Математика"] В. И. Игошин
Material type:
TextLanguage: Russian Series: Учебное пособие | Высшее профессиональное образованиеPublication details: Москва Академия 2010Edition: 4-е изд., стерDescription: 446, [1] с. ил. 22 смISBN: 9785769570452Subject(s): математическая логика | алгоритмы | учебные пособия для вузов | алгебра высказываний | булевы функции | аксиоматическая теория алгебры высказываний | логика предикатов | квантор общности | квантор существования | формулы алгебры высказываний | тавтологии (алгебра высказываний) | логическая равносильность формул | логическое следование формул | дизъюнкция | конъюнкция | логическое следование формул | прямые теоремы | обратные теоремы | контрапозиция | математические теоремы (математическая логика) | дедуктивные умозаключения | индуктивные умозаключения | решение логических задач | принцип полной дизъюнкции | множества | бинарные отношения | булевы функции от одного аргумента | булевы функции от двух аргументов | булевы функции от n аргументов | отрицание (булевы функции) | системы булевых функций | Поста теорема о полноте системы булевых функций | булевы функции и релейно-контактные схемы | задачи теории релейно-контактных схем | релейно-контактные схемы ЭВМ | распознавание образов | диагностика заболеваний | аксиоматическая теория высказываний | теорема о дедукции | формализованное исчисление высказываний | лемма о выводимости (исчисление высказываний) | теория формального вывода | независимость аксиомы | независимость системы аксиом | классификация предикатов | множество истинности предиката | равносильность предикатов | логические операции над предикатами | кванторные операции над предикатами | кванторы численные | кванторы ограниченные | тавтологии (логика предикатов) | равносильность формул | формулы логики предикатов | формулы на конечных множествах | логико-математическая практика | строение математических теорем | математическая индукция | алгебра множеств | необходимые и достаточные условия (математическая логика) | формализованное исчисление предикатов | система аксиом исчисления предикатов | теория формального вывода | аксиоматические теории неформальные | аксиоматический метод в математике | аксиоматические теории | аксиоматические теории формальные | Геделя теорема о существовании модели | теорема компактности | формальные теории первого порядка | теория алгоритмов | Тьюринга машины | рекурсивные функции | Маркова нормальные алгоритмы | разрешимость множеств | перечислимость множеств | алгоритмические проблемы неразрешимые | натуральные числа | формальная арифметика | математическая логика и информатика | математическая логика и искусственный интеллект | программирование | верификация программ | Логик-теоретик, программа | логическое программирование | Пролог, язык логического программирования | реляционные базы данных | логика запросов в реляционной базе данных | представление знаний (искусственный интеллект) | экспертные системыOther classification: 22.12я73
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
| 1 неделя | Читальный зал 5 | 510 И269 (Browse shelf (Opens below)) | Available | 13820000807142 | ||
| 6 месяцев | Абонемент | 51 И269 (Browse shelf (Opens below)) | 1 | Available | 13820000807143 | |
| 6 месяцев | Абонемент | 51 И269 (Browse shelf (Opens below)) | 2 | Checked out | 03/10/2024 | 13820000807144 |
| 6 месяцев | Абонемент | 51 И269 (Browse shelf (Opens below)) | 3 | Available | 13820000807145 | |
| 6 месяцев | Абонемент | 51 И269 (Browse shelf (Opens below)) | 4 | Available | 13820000807146 | |
| 6 месяцев | Абонемент | 51 И269 (Browse shelf (Opens below)) | 5 | Available | 13820000807147 |
Библиогр.: с. 435-442
There are no comments on this title.