Математическая логика и теория алгоритмов
PDFMärgi loetuks
Kuidas lugeda raamatut pärast ostmist
- Laadi alla:
- Maht: 255 lk.
- Žanr: Infotehnoloogia ja arvutitehnoloogia, Matemaatika, Õpikud ja õppematerjalid ülikoolidele
Raamatu kirjeldus
Изложен материал основного курса «Математическая логика и теория алгоритмов», читаемого на факультете «Автоматизации и информатики (АИ)» МГГУ: основные понятия, относящиеся к семантике формализованных логико-математических языков; математическая логика, исчисление высказываний и предикатов, элементы теории множеств, основы теории моделей и алгоритмов. Показано практическое использование алгебры к задачам математической логики.
Для студентов вузов, обучающихся по направлениям 552800, 654600 «Информатика и вычислительная техника», специальности 220200 «Автоматизированные системы обработки информации и управления».
Täpsemad andmed
- Vanusepiirang:
- 0+
- Lisatud LitResi:
- 25 august 2017
- Kirjutamiskuupäev:
- 2006
- Maht:
- 255 lk.
- ISBN:
- 5-7418-0451-9, 978-5-7418-0451-3
- Kogusuurus:
- 5 MB
- Lehekülgi kokku:
- 255
- Lehekülje mõõdud:
136 x 188 мм
- Copyright:
- Горная книга
Raamat Е. В. Зайцева "Математическая логика и теория алгоритмов" — laadige alla pdf või lugege tasuta. Kirjutage kommentaare ja ülevaateid, hääletage oma lemmiku poolt.
Оставьте отзыв
Отзывы