Search for 'an:2255985' with limit(s): 'suppress:false'

Логика предикатов , учебно-методическое пособие для студентов гуманитарных направлений, изучающих дисциплину "Логика"

By В. Х. Зеленкин.
Пермь Perm University Press 2015 .
99 с. 21.
9785794425383

Математическая логика и теория алгоритмов. Логика предикатов , учебное пособие , [для студентов специальности "Информационные системы и технологии"]

By К.М. Чудинов.
Пермь Изд-во Пермского государственного технического университета 2010 .
72 с. 21.
978-5-398-00484-7

Математическая логика. Алгебра предикатов , учебное пособие

By О. В. Иванисова, И. В. Сухан, Г. Г. Кравченко.
Краснодар Кубанский государственный университет 2019 .
83 с. 21.
978-5-8209-1603-8

Исчисление предикатов , учебное пособие , [для студентов направления "Информатика и вычислительная техника", профиль 23010062 "Вычислительные машины, комплексы, системы и сети"]

By С. С. Ершов.
Челябинск Издательский центр ЮУрГУ 2016 .
29, [2] с. 21.

Языки и исчисления

By Н.К. Верещагин, А. Шень.
Москва Изд-во МЦНМО 2012 .
240 с. , На обороте тит. л. в вып. дан. и макете загл.: Лекции по математической логике и теории алгоритмов. Ч. 2. Языки и исчисления | На обл. авт. не указаны | На обл. загл. 1-й сер.: Математическая логика и теория алгоритмов 21.
9785443900131

Современная логика и онтология. Кн. 1: Традиционная логика. Пропозициональная логика. Логика предикатов

2022 .
351 с. 978-5-9710-9645-0

Приложения алгебры предикатов , учебное пособие , по направлению подготовки 01.03.01 "Математика"

By Журтов А. Х., Нирова М. С., Исакова М. М. [и др.].
Нальчик КБГУ 2022 .
61 с. 21.

О фрагменте предикатной интуиционистской логики, полном относительно шкал Крипке с конечными областями

By П.А. Шрайнер.
Новосибирск Б.и. 1998 .
21 с. 21.

Алгебраические эквиваленты некоторых свойств суперинтуиционистских предикатных логик

By Д.Е. Тишковский.
Новосибирск Б.и. 1998 .
15 с. 21.

Языки и исчисления , учебное издание для вузов

By Н. К. Верещагин, А. Шень.
Москва МЦНМО 2024 .
240 с. , На обороте тит. с. в вып. дан. и макете загл.: Лекции по математической логике и теории алгоритмов. Ч. 2. Языки и исчисления | На обл. авт. не указаны 21.
978-5-4439-4707-5

Языки и исчисления

By Н.К. Верещагин, А. Шень.
Москва Изд-во МЦНМО 2008 .
288 с. , На обл. авт. не указан 20.
978-5-94057-322-7

Логики конечнозначных предикатов на основе неравенств , Учеб. пособие

By Н. К. Косовский, А. В. Тишков.
СПб. Изд-во С.-Петерб. ун-та 2000 .
268 с. 20.
5-288-02049-3

Предикаты в школьном курсе математики

By Х. Х. Насибуллов.
Уфа Изд-во БИРО 2001 .
55 с. 21.
5-7159-0338-6

Элементы теории множеств и математической логики , учебное пособие , для студентов высших учебных заведений, обучающихся по специальности "Математика" и по направлениям "Математика" и "Математика. Прикладная математика"

By В.Г. Дурнев.
Ярославль Ярославский гос. ун-т 2009 .
411 с. 30.
978-5-8397-0660-6

Теория интеллектуальных систем. Т. 3: Моделирование логических процессов

2025 .
216 с. , Рез. англ. 978-5-19-012237-4

О базе данных и знаний и конечном исчислении предикатов

By Стрыгин В. З..
Жуковский издание автора 2023 .
5 с. 21.

Проблема разложимости при формальном описании знаний

By Д.К. Пономарев.
Новосибирск Институт систем информатики 2006 .
21 с. , Авт. также на англ. яз.: Denis Ponomaryov | Рез. на англ. яз. 21.

Разрешимость исчисления предикатов 1-й ступени

By Стрыгин Владимир Захарович.
М. Издат. отд. ЦАГИ 2005 .
3 с. , Авт. также на англ. яз.: Vladimir Z. Strygin 20.

Элементы математической логики и теории множеств , учебно-методическое пособие

By Сиб. гос. ун-т путей сообщ..
Новосибирск Изд-во СГУПСа 2016 .
43 с. 21.
9785934617401

Математическая логика. Логика высказываний и логика предикатов , Учеб. пособие , [Для студентов III курса мат. фак.]

By Л.В. Шабунин.
Чебоксары Чуваш. гос. ун-т 2003 .
55,[1] с. 20.

Языки и исчисления

By Н.К. Верещагин, А. Шень.
М. МЦНМО 2000 .
286 с. , На обл. загл. сер.: Математическая логика и теория алгоритмов 20.
5-900916-66-9

Языки и исчисления

By Н.К. Верещагин, А. Шень.
М. МЦНМО 2002 .
285 с. , На обл. авт. не указаны | На обл. загл. 1-й сер.: Математическая логика и теория алгоритмов 20.
5-900916-66-9