|
|
|
|
| LEADER |
01998nam a2200481 c 4500 |
| 001 |
koha001143399 |
| 007 |
cr |||||||| |
| 008 |
240909s2011 ru d sbi 001 0 rus d |
| 020 |
|
|
|a 9785987092927
|
| 035 |
|
|
|a koha001143399
|
| 040 |
|
|
|a RU-ToGU
|b rus
|c RU-ToGU
|
| 080 |
|
|
|a 510.57(075.8)
|
| 080 |
|
|
|a 510.6(075.8)
|
| 100 |
1 |
|
|a Герасимов, Александр Сергеевич
|
| 245 |
1 |
0 |
|a Курс математической логики и теории вычислимости
|b учебное пособие
|c А. С. Герасимов
|
| 250 |
|
|
|a Изд. 3-е, исправ. и доп.
|
| 260 |
|
|
|a Санкт-Петербург
|b Лема
|c 2011
|
| 300 |
|
|
|a 283, [1] с.
|b табл.
|
| 336 |
|
|
|a Текст
|
| 337 |
|
|
|a электронный
|
| 504 |
|
|
|a Библиогр.: с. 264-267
|
| 504 |
|
|
|a Предм. указ.: с. 268-284
|
| 653 |
|
|
|a математическая логика
|
| 653 |
|
|
|a теория вычислимости
|
| 653 |
|
|
|a алгоритмов теория
|
| 653 |
|
|
|a язык логики предикатов
|
| 653 |
|
|
|a язык логики высказываний
|
| 653 |
|
|
|a исчисление гильбертовского типа
|
| 653 |
|
|
|a секвенциальные исчисления
|
| 653 |
|
|
|a метод резолюций
|
| 653 |
|
|
|a элементарная арифметика
|
| 653 |
|
|
|a Цермело-Френкеля теория множеств
|
| 653 |
|
|
|a Тьюринга машины
|
| 653 |
|
|
|a Маркова алгоритмы нормальные
|
| 653 |
|
|
|a лямбда-исчисление
|
| 653 |
|
|
|a исчисление предикатов
|
| 653 |
|
|
|a Геделя теоремы о неполноте
|
| 653 |
|
|
|a Хоара исчисление
|
| 852 |
4 |
|
|a RU-ToGU
|n ru
|
| 856 |
4 |
|
|u https://www.lib.tsu.ru/limit/2024/koha001143399/koha001143399.pdf
|
| 908 |
|
|
|a учебник
|
| 999 |
|
|
|c 1143399
|d 1143399
|
| 999 |
|
|
|d 1143399
|
