Алгоритмы вывода формул, содержащих кванторы

Գին՝ 5700դրամ
Էջերի քանակ՝ 19էջ
Կիրառական մաթեմատիկա
Աշխատանքի տեսակ՝ Կուրսային
Աշխատանքի ID` 12573

Բովանդակություն

Հատված

Այս աշխատանքի հատվածը անհասանելի է։

Գրականության ցանկ

  • Математическая логика : учебник и практикум для СПО / В. И. Скорубский, В. И. Поляков, А. Г. Зыков. — М. : Издательство Юрайт, 2019. — 211 с. — (Серия :Профессио нальное образование).ISBN 978-5-534-11631-1
  • Математическая логика: курс лекций / Д. Д. Изаак.– Орск: Типография «Бланк», 2013. – 78 с. – ISBN 978-5-9905230-1-2.
  • Теория алгоритмов: Учеб. пособие. /Игошин В.И.— М .: И Н Ф РА -М , 2016. 318— (Вы сш ее образование).ISBN 978-5-16-005205-2
  • Discrete Mathematics for Computer Science/Gary Haggard, John Schlipf, Sue Whitesides Thomson Brooks/Cole, 2006 – 600
  • Mathematical Logic, by Stephen G. Simpson, 2008, 127 pages,
Պատվիրել/