Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Logic programming
View through CrossRef
The textbook discusses issues related to logical programming languages: application features, syntax, functions. A large number of meaningful examples of problem solving are given, demonstrating the capabilities of logical programming languages.
Meets the requirements of the federal state educational standards of higher education of the latest generation.
For students of higher educational institutions studying in the areas of training "Information technology of automated systems", "Software Engineering", "Applied Computer Science, as well as individuals who independently study logic programming.
Title: Logic programming
Description:
The textbook discusses issues related to logical programming languages: application features, syntax, functions.
A large number of meaningful examples of problem solving are given, demonstrating the capabilities of logical programming languages.
Meets the requirements of the federal state educational standards of higher education of the latest generation.
For students of higher educational institutions studying in the areas of training "Information technology of automated systems", "Software Engineering", "Applied Computer Science, as well as individuals who independently study logic programming.
Related Results
Kant and a Philosophical History of Logic
Kant and a Philosophical History of Logic
This chapter discusses certain exegetical challenges posed by Kant’s logic corpus, which comprises the Logic compiled by Jäsche, Kant’s notes on logic, transcripts of his logic lec...
OBJECT ORIENTED PROGRAMMING
OBJECT ORIENTED PROGRAMMING
This book gives you access to the world of object-oriented programming. Beginning with an overview of the Java programming language, you will delve deeply into the fundamental conc...
Logic Colloquium '01
Logic Colloquium '01
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have ...
Logic in Linguistics
Logic in Linguistics
An elementary introduction to formal logic, particularly intended for linguists and others interested in languages. Concepts and theories developed within formal logic for the stud...
Syllogistic Logic and Mathematical Proof
Syllogistic Logic and Mathematical Proof
Abstract
Syllogistic Logic and Mathematical Proof chronicles and analyzes a debate centered on the following question: does syllogistic logic have the resources to c...
Circumventing the Logic and Limits of Representation: Otherness in East–West Approaches to Paradox
Circumventing the Logic and Limits of Representation: Otherness in East–West Approaches to Paradox
This chapter argues that paradox arises, not from our phenomenal experience, but from our efforts at conceptualizing it through the logic of comprehension dominating Western though...
Artificial Intelligence and Scientific Method
Artificial Intelligence and Scientific Method
Abstract
Artificial Intelligence and Scientific Method examines the remarkable advances made in the field of AI over the past twenty years, discussing their profound...
Nonstandard Methods and Applications in Mathematics
Nonstandard Methods and Applications in Mathematics
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have ...