Математическая логика и теория алгоритмов учебное пособие
Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности. Предназначено для студентов направления подготовки...
Sábháilte in:
| Príomhchruthaitheoir: | |
|---|---|
| Formáid: | Книга |
| Ábhair: | |
| Rochtain ar líne: | Перейти к просмотру издания |
| Clibeanna: |
Cuir clib leis
Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!
|