Skip to content

Alexandr-Karavai/LOIS_LAB

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

19 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Logical foundations of intelligent systems

Laboratory work 1 - find the number of sub-queries in the formula of propositional logic
Laboratory work 2 - to check whether the formula is valid (tautology)

About

Logical foundations of intelligent systems

Topics

Resources

Stars

Watchers

Forks

Packages

No packages published