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



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

Страницы: 1 2

Новинки

dimm 8gb ddr4 pc17000 2133mhz kingston kvr21n15s8 8 standalone tcp ip usb fingerprint access control system ko f8 2pcs photoelectric sensor e3s ls20c4s leadshine drive dcs810 digital dc servo driver use for prinnter machine etc original dahua hdcvi hcvr4104hs s3 4108hs s3 4116hs s3 video recorder support hdcvi analog ip video люстра на штанге arti lampadari favola e 1 3 40 502 n asabella asabella кпб anika сем wireless universal bluetooth headset earphone mono bluetooth earphone for mobile phones high quality factory price free shipping smileteam 3k glossy full carbon mtb bike riser handlebar mountain bicycle carbon seatpost stem seatpost set mtb bike parts mantravel bags trendly fashion men backpacks men s multi purpose travel backpack multifunction shoulder bag rucksack walangting e27 3w 230lm 3200k 18 x smd 2835 led warm white light bulb white ac 85 265v hot new goods 6 5 inch touchscreen for star470 4wires touch screen for robot touch panel 90days warrantry digital2016 fashion electronic glass lcd health body weighing scale home scale 180kg weightinh body precision scale step on aushaus игрушка bite me rabbit 10 pcs rf adapter uhf female to uhf female straight new walbro wt 223 carburetor carb for stihl fs160 fs220 fs280 fr220 string trimmers brush cutter parts 4119 120 0604 c15 21 1pc 2017 new fashion luxury brand women ladies watches clocks wooden color head leather strap quartz wristwatches hour gift h3 giantree 10a 315mhz relay wireless rf remote control switch transmitter receiver set kit access control system kicx dc 6 2mr газовая плита flama fg 2406 b high quality heavy duty dc 24v 200 amp main contactor solenoid free shipping casual peter pan collar faux twinset design long sleeve dress for women вытяжка со стеклом kaiser a 9419 n gudi city police pursuit car blocks 83pcs bricks building block brinquedos kids birthday christmas gift toys for children том батлер боудон наука стать богатым уоллес д уоттлз обзор
Акустические системы,
Ресиверы и процессоры,
3D эмиттеры,
Спортивные товары,
Музыкальные инструменты,
Проекторы и экраны.