Математическая логика

Main
Математическая логика

Математическая логика

Ершов Ю.Л., Палютин Е.А.

0 / 0

0 comments

Որքա՞ն է ձեզ դուր եկել այս գիրքը:

Ինչպիսի՞ն է բեռնված ֆայլի որակը:

Բեռնեք գիրքը` գնահատելու դրա որակը

Ինչպիսի՞ն է բեռնված ֆայլերի որակը:

В книге изложены основные классические исчисления математической логики исчисление высказываний и исчисление предикатов имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой.

Տարի:

1987

Հրատարակչություն:

Наука

Լեզու:

russian

Էջեր:

337

Ֆայլ:

PDF, 13.00 MB

IPFS:

russian, 1987