Зведений каталог бібліотек Рівного

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

22.12
Єршов, Ю.
    Доказовість у математиці [Текст] / Ю. Єршов // Математика в школі : Науково-методичний журнал. — К. : Педогогічна преса, 2006. — 10. — С. 2-8.

- Ключові слова:

математична логіка, математическая логика ; логіка, логика, logika, logic ; алгоритми, алгоритмы, algorithms ; логіка висловлювань, логика высказываний

- Анотація:

- формалізація

- аксіоматика

- несуперечливість

- алгоритми

- математична логіка

- Є складовою частиною документа:

- Теми документа

  • ББК // Алгоритми математичні



Наявність
Установа Кількість Документ на сайті установи
Рівненська обласна бібліотека для молоді.   Перейти на сайт