Математическая логика и теория алгоритмов: учебник
| প্রধান লেখক: | |
|---|---|
| সংস্থা লেখক: | |
| অন্যান্য লেখক: | |
| সংক্ষিপ্ত: | В книге излагаются основные исчисления математической логики: исчисления высказываний и исчисления предикатов; основы теории моделей и теории алгоритмов, а также элементы неклассических логик. Для студентов младших курсов технических вузов, изучающих математическую логику и теорию алгоритмов. |
| ভাষা: | রুশ |
| প্রকাশিত: |
Москва, Инфра-М, 2008
|
| মালা: | Высшее образование |
| বিষয়গুলি: | |
| বিন্যাস: | গ্রন্থ |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=147852 |