Логические и математические исчисления
В предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики - понятие доказательства) и о понятии исчисления.
Go to description and details| Publisher | Научный мир |
| Publication year | 2020 |
| ISBN | 978-5-91522-246-4 |
| Weight, g | 439 |
В предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики - понятие доказательства) и о понятии исчисления.
| Publisher | Научный мир |
| Publication year | 2020 |
| ISBN | 978-5-91522-246-4 |
| Weight, g | 439 |
