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




+1
Soon




В предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики - понятие доказательства) и о понятии исчисления.
Go to description and details| Publisher | Научный мир |
| Pages | 256 |
| Language | Русский |
| ISBN | 978-5-91522-246-4 |
В предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики - понятие доказательства) и о понятии исчисления.
| Publisher | Научный мир |
| Pages | 256 |
| Language | Русский |
| ISBN | 978-5-91522-246-4 |
| Cover | Твёрдый переплёт |
| Dimensions | 151 × 15 × 221 mm |
| Weight, g | 389 |