Normal view
MARC view
Задачи и упражнения по математической логике и теории алгоритмов [учебное пособие для вузов по специальности 032100 "Математика"] В. И. Игошин
Material type:
TextSeries: Высшее профессиональное образованиеPublication details: М. Академия 2005Description: 302, [1] сISBN: 5769513640Subject(s): учебные пособия для вузов | задачи по математической логике | алгебра высказываний | формулы алгебры высказываний | принцип полной дизъюнкции | тавтологии (алгебра высказываний) | логико-математическая практика | булевы функции | свойства булевых функций | классы булевых функций | системы булевых функций | Поста теорема | релейно-контактные схемы | теорема о дедукции | построение выводов из аксиом | построение выводов из гипотез | независимость системы аксиом | формализованное исчисление высказываний | логика предикатов | множество истинности предиката | равносильность предикатов | формулы логики предикатов | классификация логики предикатов | тавтологии (логика предикатов) | язык логики предикатов | рассуждения правильные (логика предикатов) | рассуждения неправильные (логика предикатов) | алгебра множеств | формализованное исчисление предикатов | теория алгоритмов | Тьюринга машины | функции рекурсивные | предикаты рекурсивные | оператор минимизации | Маркова нормальные алгоритмы
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
| 1 месяц | Книгохранилище | 1-963423 (Browse shelf (Opens below)) | Available | 13820000619958 | ||
| Выдается в читальный зал | Книгохранилище | 1-931261к (Browse shelf (Opens below)) | 1 | Available | 13820000499328 | |
| 1 неделя | Читальный зал 5 | 510 И268 (Browse shelf (Opens below)) | 2 | Available | 13820000499329 |
Библиогр.: с. 301
There are no comments on this title.