Метод резолюции в логике предикатов первого порядка : Учеб. пособие : Для студентов по курсу "Мат. логика и теория алгоритмов"

1594

Купить

Краткое содержание:

Метод резолюции в логике предикатов первого порядка : Учеб. пособие : Для студентов по курсу "Мат. логика и теория алгоритмов"

Name: Метод резолюции в логике предикатов первого порядка : Учеб. пособие : Для студентов по курсу "Мат. логика и теория алгоритмов"
Rating: 4.5
ISBN: 5-7629-0122-X

Авторы:

Чебыкин Василий Александрович
Новакова Наталия Евгеньевна

Год:

1996

isbn:

5-7629-0122-X

Язык:

Русский

Описание:

Чебыкин В. А., Новакова Н. Е. Метод резолюции в логике предикатов первого порядка : Учеб. пособие : [Для студентов по курсу "Мат. логика и теория алгоритмов"] / В.А. Чебыкин, Н.Е. Новакова; Гос. ком. РФ по высш. образованию, С.-Петерб. гос. электротехн. ун-т. - СПб. : ГЭТУ, 1996. - 62,[1] с. ; 20 см. - Библиогр.: с. 60-61 (8 назв.)

Рейтинг по отзывам:

4.5

Материалы:

Реферат, Курсовая, ВКР/Диплом, Диссертация

Рубрики:

Математическая логика → Исчисление предикатов → Метод резолюций → Руководства, пособия и т.п. для высшей школы

Примечания:

Библиогр.: с. 60-61 (8 назв.)

Дата создания:

2022-04-23 16:39:11

Соц. сети:

Важно

Реставрация книги

Пожалуйста, помогите актуализировать информацию

Загрузить фотографию актуальной обложки книги

Дополнить или обновить информацию о книге

Реферат по теме Метод резолюции в логике предикатов первого порядка : Учеб. пособие : Для студентов по курсу "Мат. логика и теория алгоритмов"

Заказать реферат Узнать стоимость Скачать пример

Курсовая по теме Метод резолюции в логике предикатов первого порядка : Учеб. пособие : Для студентов по курсу "Мат. логика и теория алгоритмов"

Заказать курсовую Узнать стоимость Скачать пример

ВКР/Диплом по теме Метод резолюции в логике предикатов первого порядка : Учеб. пособие : Для студентов по курсу "Мат. логика и теория алгоритмов"

Заказать диплом Узнать стоимость Скачать пример

Диссертация по теме Метод резолюции в логике предикатов первого порядка : Учеб. пособие : Для студентов по курсу "Мат. логика и теория алгоритмов"

Заказать диссертацию Узнать стоимость Скачать пример

Заработать на знаниях по теме Метод резолюции в логике предикатов первого порядка : Учеб. пособие : Для студентов по курсу "Мат. логика и теория алгоритмов"

Заработать от 15 000 руб. до 150 000 руб.

Наличие в библиотеках

Название и адрес

Режим работы

Контактная информация

Телефон

Центральная городская библиотека

Амурская область, Благовещенск городской округ, Благовещенск
Красноармейская, 128
Расположение на карте

санитарный день: последняя пт месяца
Вт: 10:00-21:00
Ср: 10:00-21:00
Чт: 10:00-21:00
Пт: 10:00-21:00
Сб: 12:00-20:00
Вс: 12:00-20:00

biblioblag.ru
Вконтакте: https://vk.com/biblioblag
Инстаграм: https://instagram.com/biblioteka_blag
Одноклассники: https://ok.ru/biblioblag

+7 (4162) 49-49-06 +7 (4162) 49-49-05

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Сельская библиотека, с. Верх-Ая

Алтайский край, Алтайский район, с. Верх-Ая
Алтайская, 19
Расположение на карте

Пн: 14:00-17:30
Вт: 14:00-17:30
Ср: 14:00-17:30
Чт: 14:00-17:30
Пт: 14:00-17:30
Вс: 14:00-17:30

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека, с. Элекмонар

Республика Алтай, Чемальский район, с. Элекмонар
Советская, 35
Расположение на карте

санитарный день: последняя пт месяца
Пн: 09:00-13:00 14:00-17:00
Вт: 09:00-13:00 14:00-17:00
Ср: 09:00-13:00 14:00-17:00
Чт: 09:00-13:00 14:00-17:00
Пт: 09:00-13:00 14:00-17:00

+7 (38841) 2-45-87

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №158

Москва, Москва, Чертаново Южное район
Подольских Курсантов, 14 к1
Расположение на карте

санитарный день: последний рабочий день месяца
Вт: 15:00-19:00
Ср: 15:00-19:00
Пт: 15:00-19:00
Сб: 15:00-19:00

+7 (495) 381-81-01 +7 (495) 381-88-13

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Межпоселенческая центральная библиотека им. И.И. Лажечникова

Московская область, Коломенский район, с. Коробчеево
Советская, 11Б
Расположение на карте

санитарный день: последняя пт месяца
Вт: 11:00-14:00 15:00-19:00
Ср: 11:00-14:00 15:00-19:00
Чт: 11:00-14:00 15:00-19:00
Пт: 11:00-14:00 15:00-19:00
Сб: 11:00-14:00 15:00-20:00

www.kolomna-regbibl.ru

+7 (4966) 17-60-58

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Централизованная библиотечная система, г. Ангарск

Иркутская область, Ангарский городской округ, Ангарск
95-й квартал, 12
Расположение на карте

зимний период: вс 10:00-18:00; санитарный день: последний чт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00

www.cbs-angarsk.ru

+7 (3955) 67-83-81

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Централизованная библиотечная система Лазаревского района г. Сочи

Краснодарский край, Сочи городской округ, Сочи, Лазаревский район, Волковка
Надёжная, 28а
Расположение на карте

санитарный день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00

library-lazar.ru
Вконтакте: https://vk.com/lazlib
Facebook: https://facebook.com/groups/1585534385065505
Одноклассники: https://ok.ru/lazlib

+7 (862) 270-32-86

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Детская библиотека №7, г. Копейск

Челябинская область, Копейский городской округ, Копейск
Ленина, 48
Расположение на карте

санитарный день: последний чт месяца
Пн: 10:00-13:00 13:45-18:00
Вт: 10:00-13:00 13:45-18:00
Ср: 10:00-13:00 13:45-18:00
Чт: 10:00-13:00 13:45-18:00
Пт: 10:00-13:00 13:45-18:00
Вс: 09:00-13:00 13:45-17:00

+7 (35139) 3-62-10

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №5, г. Березники

Пермский край, Березники городской округ, Березники
Карла Маркса, 47
Расположение на карте

Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Сб: 12:00-18:00

berlib.ru

+7 (3424) 26-48-56

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №9

Республика Мордовия, Саранск городской округ, Саранск, Октябрьский район, ТЭЦ-2
Северная, 10а
Расположение на карте

санитарный день: последний день месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-17:00

+7 (8342) 29-46-58

Показать номер

Наличие в библиотеках

Название и адрес

Режим работы

Контактная информация

Телефон

Центральная городская библиотека

Амурская область, Благовещенск городской округ, Благовещенск
Красноармейская, 128
Расположение на карте

санитарный день: последняя пт месяца
Вт: 10:00-21:00
Ср: 10:00-21:00
Чт: 10:00-21:00
Пт: 10:00-21:00
Сб: 12:00-20:00
Вс: 12:00-20:00

biblioblag.ru
Вконтакте: https://vk.com/biblioblag
Инстаграм: https://instagram.com/biblioteka_blag
Одноклассники: https://ok.ru/biblioblag

+7 (4162) 49-49-06 +7 (4162) 49-49-05

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Сельская библиотека, с. Верх-Ая

Алтайский край, Алтайский район, с. Верх-Ая
Алтайская, 19
Расположение на карте

Пн: 14:00-17:30
Вт: 14:00-17:30
Ср: 14:00-17:30
Чт: 14:00-17:30
Пт: 14:00-17:30
Вс: 14:00-17:30

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека, с. Элекмонар

Республика Алтай, Чемальский район, с. Элекмонар
Советская, 35
Расположение на карте

+7 (38841) 2-45-87

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №158

Москва, Москва, Чертаново Южное район
Подольских Курсантов, 14 к1
Расположение на карте

санитарный день: последний рабочий день месяца
Вт: 15:00-19:00
Ср: 15:00-19:00
Пт: 15:00-19:00
Сб: 15:00-19:00

+7 (495) 381-81-01 +7 (495) 381-88-13

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Межпоселенческая центральная библиотека им. И.И. Лажечникова

Московская область, Коломенский район, с. Коробчеево
Советская, 11Б
Расположение на карте

www.kolomna-regbibl.ru

+7 (4966) 17-60-58

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Централизованная библиотечная система, г. Ангарск

Иркутская область, Ангарский городской округ, Ангарск
95-й квартал, 12
Расположение на карте

www.cbs-angarsk.ru

+7 (3955) 67-83-81

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Централизованная библиотечная система Лазаревского района г. Сочи

санитарный день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00

library-lazar.ru
Вконтакте: https://vk.com/lazlib
Facebook: https://facebook.com/groups/1585534385065505
Одноклассники: https://ok.ru/lazlib

+7 (862) 270-32-86

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Детская библиотека №7, г. Копейск

Челябинская область, Копейский городской округ, Копейск
Ленина, 48
Расположение на карте

+7 (35139) 3-62-10

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №5, г. Березники

Пермский край, Березники городской округ, Березники
Карла Маркса, 47
Расположение на карте

Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Сб: 12:00-18:00

berlib.ru

+7 (3424) 26-48-56

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №9

санитарный день: последний день месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-17:00

+7 (8342) 29-46-58

Показать номер

Метод резолюции в логике предикатов первого порядка : Учеб. пособие : Для студентов по курсу "Мат. логика и теория алгоритмов"

Купить

Реферат по теме Метод резолюции в логике предикатов первого порядка : Учеб. пособие : Для студентов по курсу "Мат. логика и теория алгоритмов"

Курсовая по теме Метод резолюции в логике предикатов первого порядка : Учеб. пособие : Для студентов по курсу "Мат. логика и теория алгоритмов"

ВКР/Диплом по теме Метод резолюции в логике предикатов первого порядка : Учеб. пособие : Для студентов по курсу "Мат. логика и теория алгоритмов"

Диссертация по теме Метод резолюции в логике предикатов первого порядка : Учеб. пособие : Для студентов по курсу "Мат. логика и теория алгоритмов"

Заработать на знаниях по теме Метод резолюции в логике предикатов первого порядка : Учеб. пособие : Для студентов по курсу "Мат. логика и теория алгоритмов"

Реставрация Метод резолюции в логике предикатов первого порядка : Учеб. пособие : Для студентов по курсу "Мат. логика и теория алгоритмов"