Normal view
MARC view
Задачи и упражнения по математической логике и теории алгоритмов [учебное пособие для вузов по специальности 050201 "Математика"] В. И. Игошин
Material type:
TextSeries: Высшее профессиональное образованиеPublication details: Москва Академия 2008Edition: 4-е изд., стерDescription: 302, [1] сISBN: 9785769552724Subject(s): учебные пособия для вузов | задачи по математической логике | алгебра высказываний | формулы алгебры высказываний | принцип полной дизъюнкции | тавтологии (алгебра высказываний) | логико-математическая практика | булевы функции | свойства булевых функций | классы булевых функций | системы булевых функций | Поста теорема | релейно-контактные схемы | теорема о дедукции | построение выводов из аксиом | построение выводов из гипотез | независимость системы аксиом | формализованное исчисление высказываний | логика предикатов | множество истинности предиката | равносильность предикатов | формулы логики предикатов | классификация логики предикатов | тавтологии (логика предикатов) | язык логики предикатов | рассуждения правильные (логика предикатов) | рассуждения неправильные (логика предикатов) | алгебра множеств | формализованное исчисление предикатов | теория алгоритмов | Тьюринга машины | функции рекурсивные | предикаты рекурсивные | оператор минимизации | Маркова нормальные алгоритмы
| Item type | Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
| 1 неделя | Научная библиотека ТГУ Читальный зал 5 | 510 И269 (Browse shelf(Opens below)) | Available | 13820000807175 | ||
| 6 месяцев | Научная библиотека ТГУ Абонемент | 51 И269 (Browse shelf(Opens below)) | Available | 13820000807176 |
Библиогр.: с. 301
There are no comments on this title.
Log in to your account to post a comment.