Библиотека АГГПУ

Головна

Спрощенний режим

Опис

Бази даних

Каталог книг- результати пошуку

Вид пошуку

Каталог книг

Труды преподавателей

Каталог периодических изданий

Межвузовская электронная библиотека

ФЭРУ

Зона пошуку

Знайдено у інших БД:

IPRbooks книги (8)

Формат представлення знайдених документів:
повний	інформаційний	короткий

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: <.>K=логика предикатов<.>

Загальна кількість знайдених документів : 4
Показані документи с 1 за 4

   22.1
   Л 65

    Лихтарников, Леонид Моисеевич.
    Математическая логика : курс лекций : задачник-практикум и решения : учебное пособие / Л. М. Лихтарников, Т. Г. Сукачева. - 3-е изд., испр. - СПб. : Лань, 2008. - 288 с. - (Учебники для вузов. Специальная литература). - 2 000 прим.. - ISBN 978-5-8114-0082-9

27.03

ББК 22.12 я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормовані):
понятие высказываний -- алгебра буля -- закон двойственности -- исчисление высказываний -- понятие вывода -- правила выводимости -- кванторные операции -- логика предикатов -- математические теории -- алгоритмы

Дод.точки доступу:
Сукачева, Тамара Геннадьевна
Примірників всього: 5
Аб. (5)
Свободны: Аб. (5)
Знайти схожі

   22.1
   И 26

    Игошин, Владимир Иванович.
    Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для вузов по специальности "Математика" / В. И. Игошин. - 3-е изд., стер. - М. : Академия, 2007. - 304 с. - (Высшее профессиональное образование. Педагогические специальности). - 2 000 прим.. - ISBN 5-7695-3728-0
Рекомендовано отраслевым мин-вом

27.03

   22.1
   И 26

    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов : учебное пособие для вузов / В. И. Игошин. - 2-е изд., стер. - М. : Академия, 2008. - 448 с. - (Высшее профессиональное образование. Педагогические специальности). - 1 500 прим.. - ISBN 978-5-76954593-1
Рекомендовано Мин. образования

27.03

ББК 22.12 я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормовані):
математическая логика -- теория алгоритмов -- прикладная математика -- алгебра высказываний -- высказывания -- формулы алгебраических высказываний -- тавтологии алгебраических высказываний -- логическая равносильность формул -- нормальные формы для формул алгебры высказываний -- логическое следование формул -- логико-математическая практика -- булевы функции -- релейно-контактные схемы в эвм -- формализованное исчисление высказываний -- логика предикатов -- предикат -- логические операции над предикатами -- квантовые операции над предикатами -- формулы логики предикатов -- формализованное исчисление предикатов -- неформальные аксиоматические теории -- аксиоматический метод в математике -- аксиоматические теории -- формальные аксиоматические теории -- элементы теории алгоритмов -- интуитивное представление об алгоритмах -- машины тьюринга -- рекурсивные функции -- нормальные алгоритмы маркова -- разрешимость множеств -- перечислимость множеств -- неразрешимые алгоритмические проблемы -- теорема геделя -- математическая логика и программное обеспечение компьютеров -- программное обеспечение -- компьютер -- логическое программирование -- математическая логика и информатика -- математическая логика и искусственный интеллект -- искусственный интеллект -- законы мышления -- познание законов мышления

Примірників всього: 20
Аб. (20)
Свободны: Аб. (20)
Знайти схожі

   22.1
   И 26

    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов : учебное пособие для физико-математических специальностей пед. институтов / В. И. Игошин. - Саратов : Саратовский гос. педагогический институт им. К. А. Федина, 2001. - 256 с. - 5 000 прим.. - ISBN 5-292-00259-3

27.03

ББК 22.12 я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормовані):
математическая логика -- теория алгоритмов -- прикладная математика -- алгебра высказываний -- высказывания -- формулы алгебраических высказываний -- тавтологии алгебраических высказываний -- логическая равносильность формул -- нормальные формы для формул алгебры высказываний -- логическое следование формул -- логико-математическая практика -- булевы функции -- релейно-контактные схемы в эвм -- формализованное исчисление высказываний -- логика предикатов -- предикат -- логические операции над предикатами -- квантовые операции над предикатами -- формулы логики предикатов -- формализованное исчисление предикатов -- неформальные аксиоматические теории -- аксиоматический метод в математике -- аксиоматические теории -- формальные аксиоматические теории -- элементы теории алгоритмов -- интуитивное представление об алгоритмах -- машины тьюринга -- рекурсивные функции -- нормальные алгоритмы маркова -- разрешимость множеств -- перечислимость множеств -- неразрешимые алгоритмические проблемы -- теорема геделя -- математическая логика и программное обеспечение компьютеров -- программное обеспечение -- компьютер -- логическое программирование -- математическая логика и информатика -- математическая логика и искусственный интеллект -- искусственный интеллект -- законы мышления -- познание законов мышления

Примірників всього: 1
Аб. (1)
Свободны: Аб. (1)
Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)