математическая логика учебное пособие



Учебное пособие предназначено школьникам и студентам для начального изучения одного из наиболее важных и сложных разделов дискретной математики — математической логики. Область применения математической логики весьма широка: информационные технологии, программирование, математическая лингвистика, системы искусственного интеллекта, управление базами данных и управление организационно-экономическими системами. В пособии рассматриваются основные разделы математической логики (алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов и машины Тьюринга). Пособие адресовано студентам младших курсов для успешного овладения элементами математической логики, а также старшеклассникам и их преподавателям при проведении факультативных занятий по дискретной математике.

Страницы: 1 2

Новинки

bst 606 9 in 1 screwdrivers set phone disassemble spudger repairing opening tool kit for iphone samsung phones clt 407 clx 3185 clp320 325 clx3185 3186 compatible printer cartridge reset toner chip for samsung clp 320 weekend 2 pc saq1 3 4 экстендер воздухоочиститель flower vase oxygen air purifier 1 usb se 036 цифровой конвертер gembird energenie rca s video hdmi dsc svideo hdmi мужские часы штурманские 2431 2255289 заправочный комплект cactus cs rk ept1701 для epson 60мл черный автомагнитола soundmax sm ccr3054f usb sd mmc free shipping high quality 6910 full si3n4 ceramic deep groove ball bearing 50x72x12mm high quallity by haokun mystery mystery mmd 587u for zyd080 64v02 tablet capacitive touch screen 8 inch pc touch panel digitizer glass mid sensor free shipping подушки belnou подушка estrella 70х70 chips imaging unit for konica minolta magicolor 7400 7440 7450 toner chips color drum chips laser printer chip 2018 genuine leather women bags high quality ladies shoulder bags famous brand luxury handbags women bags designer vivanco ep 6s 26556 black free car styling abs rear bumper protector sill trunk tread plate trim for vw touareg 2011 2012 2013 2014 2015 multi servo tester 3ch ecs consistency speed controler power channels ccpm meter sensen aquarium pumps submersible pump jp 055 miniature aquarium supplies aquarium filter pumps household 220v massage hammer gym hammer massage stick meridian massage device health care wool the hammer retractable pestilently наушники creative aurvana live 51ef0060aa001 люстра подвесная 2677 4 odeon light free shipping billet ktm rear brake pedal step tips 125 530 690 950 990 sx exc xcf adventure duke orange color kinklight 07833 8 01 одежда для балета other nz30001 pm100cva120 2 pm100cva120
Акустические системы,
Ресиверы и процессоры,
3D эмиттеры,
Спортивные товары,
Музыкальные инструменты,
Проекторы и экраны.