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

Базы данных


КНИГИ - результаты поиска

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=исчисление высказываний<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.
   51
   Е80


    Ершов, Ю. Л.
    Математическая логика : учебное пособие для матем. спец. вузов / Ю. Л. Ершов, Е. А. Палютин. - 2-е изд., испр. и доп. - М. : Наука, 1987. - 336 с. - Б. ц.
УДК
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
математическая логика -- исчисление высказываний -- исчисление пикатов -- теория моделей -- теория доказательств -- алгоритмы -- рекурсивные функции -- 08


Доп.точки доступа:
Палютин, Е. А.
Экземпляры всего: 9
ЧЗ (2), АБ (7)
Свободны: ЧЗ (2), АБ (7)
Найти похожие
2.
   51
   Е80


    Ершов, Ю. Л.
    Математическая логика : учебное пособие / Ю. Л. Ершов, Е. А. Палютин. - Изд. 4-е, стер. - СПб. : Лань, 2005. - 336 с. - ISBN 5811405332 : 1480.00 р.
УДК
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
математическая логика -- исчисление высказываний -- теория множеств -- алгебраические системы -- исчисление предикатов -- теория моделей -- теория доказательств -- алгоритмы -- рекурсивные функции


Доп.точки доступа:
Палютин, Е. А.
Экземпляры всего: 20
ЧЗ (2), АБ (18)
Свободны: ЧЗ (2), АБ (18)
Найти похожие
3.
   51
   И26


    Игошин, В. И.
    Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для вузов по спец. "Математика" / В. И. Игошин. - 2-е изд., стер. - М. : Академия, 2006. - 303 с. - (Высшее профессиональное образование). - ISBN 5-7695-2914-8 : 3530.00 р.
УДК
Рубрики: Математика
Кл.слова (ненормированные):
алгебра высказываний -- булевы функции -- исчисление высказываний -- логика предикатов -- теории алгоритмов

Экземпляры всего: 10
ЧЗ (2), АБ (8)
Свободны: ЧЗ (2), АБ (8)
Найти похожие
4.
   51
   К84


    Крупский, В. Н.
    Математическая логика и теория алгоритмов : учебное пособие для вузов / В. Н. Крупский, В. Е. Плиско. - М. : Академия, 2013. - 416 с. - (Высшее профессиональное образование. Бакалавриат) (Информатика и вычислительная техника). - ISBN 978-5-7695-955-2 : 4084.00 р.
УДК
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
математическая логика -- множества -- логика высказываний -- исчисление высказываний -- логика предикатов -- элементарные языки -- алгоритмическая теория множеств -- арифметика -- машины Тьюринга -- теорема Тарского -- теорема Эрбрана -- примеры трудных задач


Доп.точки доступа:
Плиско, В. Е.
Экземпляры всего: 15
ЧЗ (2), АБ (13)
Свободны: ЧЗ (2), АБ (13)
Найти похожие
 
© Павлодарский государственный университет им. С.Торайгырова, 2009-2015