Математическая логика и теория алгоритмов
- Sərlövhə:
- Математическая логика и теория алгоритмов
- Müəllif:
- Игошин Владимир
- Nəşr ili:
- 2008
- Annotasiya:
- В пособии изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта.
Biblioqrafik təsvir
Игошин, Владимир Иванович. Математическая логика и теория алгоритмов: учебное пособие / В. И. Игошин.- 2-е изд., стер.- М.: ИЦ Академия, 2008.- 448 с.